svoid ai_check_superSimpleVerbCorrector() {
  assertFunctionWorksOnDoubleArrowMap ai_superSimpleVerbCorrector([[
    ducks was here => ducks were here
    John was here => John was here
    many children was here => many children were here
  ]]);
  
  for (PairS p : agiBlue_pagesAndValuesForKey(agiBlue_verbCorrectorTestCasesSliceID(), "fixed"))
    testFunctionValue ai_superSimpleVerbCorrector(p.a, p.b);
}