public Program Simplify(SimplifierContext ctxt)
{
var subCtxt = ctxt.InFreshStatements();
Body.Simplify(subCtxt, EvalTimes.Bottom, false);
return(new Program(Loc, new Statements(subCtxt.Statements)));
}
