public abstract void visit(UInt64Literal n);
 public virtual void visit(UInt64Literal n)
 {
     throw new NotImplementedException();
 }