modif model (-> ast) + moved congruence to equality.ml
merge