Add Pred.t
Modify unify
Propagate constraints