public virtual void Visit(FaultInstruction instruction) { }
public virtual void Visit(FaultInstruction instruction) { Default(instruction); }