Fix bug in infer_nless parallelizm
Simplify cartographer.infer infer_nless