public void visit(BinaryType t) { throw new NotImplementedException(); }
public virtual void visit(BinaryType id) { // Do nothing; leave the implementation to the main class }