static int indexOfPred(L l, O pred) {
  for i over l:
    if (checkCondition(pred, l.get(i)))
      ret i;
  ret -1;
}