Added tests for ConstraintProcessor.