fix(library/inductive_unifier_plugin): do not try to solve type incorrect constraints