fix issue with unification not detecting infinite term required