A call to eml_invariant should takes one of the following forms: \n eml_invariant(cond, eml_message(...)) \n eml_invaria

[fyousefi]

A call to eml_invariant should takes one of the following forms: \n eml_invariant(cond, eml_message(...)) \n eml_invariant(cond, eml_message(...), "IfNotConst", "CheckAtRunTime") \n eml_invariant(cond, eml_message(...), "IfNotConst", "Fail").