prevents an infinite loop in ComponndTerm.applySubstitutes