batch insertion into LESS is faster; see infer_nless