1error(resource_error(tripwire(max_table_subgoal_size,xsb_test_calldepth:p(_))))
2