public override void DoUnify(CharacterType var, Substitution substitution) { }
public virtual void DoUnify(CharacterType var, Substitution substitution) { DoUnify((Type)var, substitution); }