if(parse.consumeRequired(DeeTokens.OPEN_PARENS).ruleBroken) break parsing;
if(parse.consumeRequired(DeeTokens.CLOSE_PARENS).ruleBroken) break parsing;
body = parse.checkResult(parseBlockStatement_toMissing(false));
}
return parse.resultConclude(new DeclarationInvariant(body));
}