Program: 2480
Project: 2480
Buggy source:
public ModelNode parse(CommonTree ct){
  AntlrNodeType type=Util.getAntlrNodeType(ct);
switch (type) {
case MODULE:
    return AntlrModule.parseModule(this,ct);
case MODULEDECL:
  return AntlrModuleDecl.parseModuleDecl(this,ct);
case IMPORTMODULE:
return AntlrImportModule.parseImportModule(this,ct);
case GLOBALPROTOCOLDECL:
return AntlrGlobalProtocolDecl.parseGlobalPrototocolDecl(this,ct);
case ROLEDECLLIST:
return AntlrRoleDeclList.parseRoleDeclList(this,ct);
case ROLEDECL:
return AntlrRoleDecl.parseRoleDecl(this,ct);
case PARAMETERDECLLIST:
return AntlrParameterDeclList.parseParameterDeclList(this,ct);
case PARAMETERDECL:
return AntlrParameterDecl.parseParameterDecl(this,ct);
case GLOBALPROTOCOLHEADER:
return AntlrGlobalProtocolHeader.parseGlobalProtocolHeader(this,ct);
case GLOBALPROTOCOLDEF:
return AntlrGlobalProtocolDefinition.parseGlobalProtocolDefinition(this,ct);
case GLOBALPROTOCOLBLOCK:
return AntlrGlobalProtocolBlock.parseGlobalProtocolBlock(this,ct);
case GLOBALINTERACTIONSEQUENCE:
return AntlrGlobalInteractionSequence.parseGlobalInteractionSequence(this,ct);
case MESSAGESIGNATURE:
return AntlrMessageSignature.parseMessageSignature(this,ct);
case PAYLOAD:
return AntlrPayload.parsePayload(this,ct);
case PAYLOADELEMENT:
return AntlrPayloadElement.parsePayloadElement(this,ct);
case GLOBALMESSAGETRANSFER:
return AntlrGlobalMessageTransfer.parseGlobalMessageTransfer(this,ct);
case GLOBALCHOICE:
return AntlrGlobalChoice.parseGlobalChoice(this,ct);
case GLOBALRECURSION:
return AntlrGlobalRecursion.parseGlobalRecursion(this,ct);
case GLOBALCONTINUE:
return AntlrGlobalContinue.parseGlobalContinue(this,ct);
case GLOBALPARALLEL:
return AntlrGlobalParallel.parseGlobalParallel(this,ct);
case GLOBALINTERRUPTIBLE:
return AntlrGlobalInterruptible.parseGlobalInterruptible(this,ct);
case GLOBALINTERRUPT:
return AntlrGlobalInterrupt.parseGlobalInterrupt(this,ct);
case GLOBALDO:
return AntlrGlobalDo.parseGlobalDo(this,ct);
case ROLEINSTANTIATIONLIST:
return AntlrRoleInstantiationList.parseRoleInstantiationList(this,ct);
case ROLEINSTANTIATION:
return AntlrRoleInstantiation.parseRoleInstantiation(this,ct);
case ARGUMENTINSTANTIATIONLIST:
return AntlrArgumentInstantiationList.parseArgumentInstantiationList(this,ct);
case ARGUMENTINSTANTIATION:
return AntlrArgumentInstantiation.parseArgumentInstantiation(this,ct);
default :
throw new RuntimeException("String_Node_Str" + type);
}
}

Fixed version (ground truth):
public ModelNode parse(CommonTree ct){
  AntlrNodeType type=Util.getAntlrNodeType(ct);
switch (type) {
case MODULE:
    return AntlrModule.parseModule(this,ct);
case MODULEDECL:
  return AntlrModuleDecl.parseModuleDecl(this,ct);
case IMPORTMODULE:
return AntlrImportModule.parseImportModule(this,ct);
case GLOBALPROTOCOLDECL:
return AntlrGlobalProtocolDecl.parseGlobalPrototocolDecl(this,ct);
case ROLEDECLLIST:
return AntlrRoleDeclList.parseRoleDeclList(this,ct);
case ROLEDECL:
return AntlrRoleDecl.parseRoleDecl(this,ct);
case PARAMETERDECLLIST:
return AntlrParameterDeclList.parseParameterDeclList(this,ct);
case PARAMETERDECL:
return AntlrParameterDecl.parseParameterDecl(this,ct);
case GLOBALPROTOCOLHEADER:
return AntlrGlobalProtocolHeader.parseGlobalProtocolHeader(this,ct);
case GLOBALPROTOCOLDEF:
return AntlrGlobalProtocolDefinition.parseGlobalProtocolDefinition(this,ct);
case GLOBALPROTOCOLBLOCK:
return AntlrGlobalProtocolBlock.parseGlobalProtocolBlock(this,ct);
case GLOBALINTERACTIONSEQUENCE:
return AntlrGlobalInteractionSequence.parseGlobalInteractionSequence(this,ct);
case MESSAGESIGNATURE:
return AntlrMessageSignature.parseMessageSignature(this,ct);
case PAYLOAD:
return AntlrPayload.parsePayload(this,ct);
case PAYLOADELEMENT:
return AntlrPayloadElement.parsePayloadElement(this,ct);
case GLOBALMESSAGETRANSFER:
return AntlrGlobalMessageTransfer.parseGlobalMessageTransfer(this,ct);
case GLOBALCHOICE:
return AntlrGlobalChoice.parseGlobalChoice(this,ct);
case GLOBALRECURSION:
return AntlrGlobalRecursion.parseGlobalRecursion(this,ct);
case GLOBALCONTINUE:
return AntlrGlobalContinue.parseGlobalContinue(this,ct);
case GLOBALPARALLEL:
return AntlrGlobalParallel.parseGlobalParallel(this,ct);
case GLOBALINTERRUPTIBLE:
return AntlrGlobalInterruptible.parseGlobalInterruptible(this,ct);
case GLOBALINTERRUPT:
return AntlrGlobalInterrupt.parseGlobalInterrupt(this,ct);
case GLOBALDO:
return AntlrGlobalDo.parseGlobalDo(this,ct);
case ROLEINSTANTIATIONLIST:
return AntlrRoleInstantiationList.parseRoleInstantiationList(this,ct);
case ROLEINSTANTIATION:
return AntlrRoleInstantiation.parseRoleInstantiation(this,ct);
case ARGUMENTINSTANTIATIONLIST:
return AntlrArgumentInstantiationList.parseArgumentInstantiationList(this,ct);
case ARGUMENTINSTANTIATION:
return AntlrArgumentInstantiation.parseArgumentInstantiation(this,ct);
case AMBIGUOUSNAME:
return AntlrArgumentInstantiation.parseArgumentInstantiation(this,ct);
default :
throw new RuntimeException("String_Node_Str" + type);
}
}