showDefinition (Unification t1 t2) = showTerm t1 ++ " = " ++ showTerm t2
showDefinition (Unification t1 t2) = showTerm t1 ++ " = " ++ showTerm t2
showDefinition (Unification t1 t2) = showTerm t1 ++ " = " ++ showTerm t2