Seq 677 tools/gcmole/gcmole.cc return Seq(expr, 2, exprs, env); Seq 728 tools/gcmole/gcmole.cc return Seq(expr, expr->getNumInits(), expr->getInits(), env); Seq 985 tools/gcmole/gcmole.cc Seq(a, b, c); Seq 990 tools/gcmole/gcmole.cc Seq(a, b); Seq 1060 tools/gcmole/gcmole.cc block.Seq(stmt->getCond(), stmt->getBody());