Update the PDDL parser contribution unit tests to not try to run the "sokoban" unit tests when using back-end Prolog compilers with a too small maximum arity of terms