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);
 }