private void _evaluateBody(Statement[] body, Environment env) {
StmtEvaluator eval = new StmtEvaluator(_context, env);
for (int i = 0; i < body.length; i++) {
eval.evaluate(body[i]);
}
}
private Environment _bindActionStateVars(Decl[] decls, Environment env) {
ExprEvaluator eval = new ExprEvaluator(_context, env);