Executable Assertion Definition