let test (tab : (int * string) list) (str : string) (u : Types_unify.term) (v : Types_unify.term) (sub : Types_unify.t_subst) : Types_unify.t_subst list =
        test_unif unif tab str u v sub