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