Define an expand-t-or-f macro to properly handle arguments in assert-true/false form.