[Validator] added a constraint that runs an expression