public NodeResult<DeclarationInvariant> parseDeclarationInvariant_start() {
consumeLookAhead(DeeTokens.KW_INVARIANT);
ParseHelper parse = new ParseHelper();
BlockStatement body = null;
parsing: {
if(parse.consumeRequired(DeeTokens.OPEN_PARENS).ruleBroken) break parsing;
if(parse.consumeRequired(DeeTokens.CLOSE_PARENS).ruleBroken) break parsing;
body = parse.checkResult(parseBlockStatement_toMissing(false));
}