protected void checkMethod(JavaMethod d) { enclosingScopes.push(d); checkStatement(d.body()); enclosingScopes.pop(); }