public Do (Statement statement, BooleanExpression bool_expr, Location l) { expr = bool_expr; EmbeddedStatement = statement; loc = l; }