sbool agiBlue_postInSlice_trueIfNew(S slice, S a, S b, S c) {
  ret !cic(agiBlue_postInSlice(slice, a, b, c), "exists");
}