Check if macros were expanded in ensures and requires (#3662)

Check if macros were expanded in ensures and requires (#3662) #507