public override void Visit(CheckpointStatement node) { this.action(node); }
public override void ExplicitVisit(CheckpointStatement fragment) { _fragments.Add(fragment); }