loopcheck.m:022: Ignoring the `:- pragma loop_check' declaration for predicate
loopcheck.m:022:   `loopcheck.loop'/1 mode 0, because tabling is not compatible
loopcheck.m:022:   with parallel execution.
loopcheck.m:025: Warning: recursive call to predicate `loop'/1 will lead to
loopcheck.m:025:   infinite recursion.
For more information, recompile with `-E'.