constraint evaluator(s) can now be blocks