CSPOM.ctr can now take SimpleExpression[Boolean]
Changed requirement to assertion