asUnifier
Casts the current Substitution to Unifier, if possible, or returns null otherwise
Return
the current Substitution, casted to Unifier, or null, if the current term is not an instance of Unifier
Casts the current Substitution to Unifier, if possible, or returns null otherwise
the current Substitution, casted to Unifier, or null, if the current term is not an instance of Unifier