castToUnifier
Casts the current Substitution to Unifier, if possible
Return
the current Substitution, casted to Unifier
Throws
if the current Substitution is not an instance of Unifier
Casts the current Substitution to Unifier, if possible
the current Substitution, casted to Unifier
if the current Substitution is not an instance of Unifier