Reverted previous change. Added test case for constants.

13 jobs for simplify_equality in 3 minutes and 2 seconds (queued for 2 seconds)