} else result = term.match(PrecAckEvent0); if(result != null) {
return null; }  result = term.match(PrecAckEvent0); if(result != null) {
  protected ATerm handler(ATerm term)	throws ToolException  {    Vector result;    result = term.match(Ptestit0);if(result != null) {      testit((String)result.elementAt(0));    } else result = term.match(Ptestit1);if(result != null) {      testit((String)result.elementAt(0), ((Integer)result.elementAt(1)).intValue());    } else result = term.match(Ptestit2);if(result != null) {      testit((String)result.elementAt(0), (ATermAppl)result.elementAt(1));    } else result = term.match(Pquestion0);if(result != null) {      return question((ATermAppl)result.elementAt(0));    } else result = term.match(PrecTerminate0);if(result != null) {      recTerminate((ATerm)result.elementAt(0));    } else result = term.match(PrecAckEvent0);if(result != null) {      recAckEvent((ATerm)result.elementAt(0));    } else       notInInputSignature(term);    return null;  }