Added test.check as a dependency
Tests the reflexive property of equality
http://hotmath.com/hotmath_help/topics/properties-of-equality.html