Remove dependence on a behavior of CTerm.anti_unify
#809
+22
−4
CTerm.anti_unify
#809