Classes related to the evaluation of the @ScriptAssert constraint.