// returns pair(status, MatchJob)
static Pair<S, MatchJob> solveMatchJob(L<S> tokInput, S pattern) {
  L<S> tokens = codeTokens(tok_combineAngleBrackets_keep(javaTok(pattern)));
  MatchJob mj = MatchJob(tokInput, tokens);
  S status = "Initial";
  while licensed {
    status = simplifyMatchJob1(mj);
    if (!eqic(status, "Simplified")) break;
  }
  ret pair(status, mj);
}