public override Bpl.CmdSeq VisitCmdSeq(Bpl.CmdSeq cmdSeq) { Bpl.CmdSeq newCmdSeq = new Bpl.CmdSeq(); for (int i = 0; i < cmdSeq.Length; i++) { Bpl.Cmd cmd = cmdSeq[i]; if (IsRelevant(cmd)) newCmdSeq.Add(new Bpl.AssertCmd(cmd.tok, Bpl.Expr.False)); newCmdSeq.Add(cmd); } return newCmdSeq; }
public override Bpl.CmdSeq VisitCmdSeq(Bpl.CmdSeq cmdSeq) { Bpl.CmdSeq newCmdSeq = new Bpl.CmdSeq(); for (int i = 0; i < cmdSeq.Length; i++) { Bpl.Cmd cmd = cmdSeq[i]; if (IsRelevant(cmd)) { newCmdSeq.Add(new Bpl.AssertCmd(cmd.tok, Bpl.Expr.False)); } newCmdSeq.Add(cmd); } return(newCmdSeq); }