Almost supported custom unification