when a string argument is selected it is useful to have also the refactoring option to generate `Contract.Requires(!string.IsNullOrEmpty("arg"))`
when a string argument is selected it is useful to have also the refactoring option to generate
Contract.Requires(!string.IsNullOrEmpty("arg"))