checker, added checkPumpsNoOverlap