remove StrongSimplification
cleanup
implement equation class containing 2 terns