Implement entails (constraintSimplifier)