Added unit tests for new constraints and reversed the output of all constraints to make them clearer