dif_unification_shared_var(ok).