public override IrExp accept(IIrVI v) { return v.visit(this); }
public IrFunc accept(IIrVI v) { return v.visit(this); }
public abstract IrStmt accept(IIrVI v);
public IrProg accept(IIrVI v) { return v.visit(this); }
public abstract IrExp accept(IIrVI v);