Function unify_predicates 

pub fn unify_predicates(
    p1: &Predicate,
    p2: &Predicate,
    subst: &Substitution,
) -> Option<Substitution>

Unify two predicates