public Body (TypeSpec type, LocalVariable variable, Expression current, Statement statement, Location loc) { this.type = type; this.variable = new LocalVariableReference (variable, loc); this.current = current; this.statement = statement; this.loc = loc; }