Generator functions for creating assert/refute helpers, such as
AssertEmpty/RefuteEqual