Doing: timeout --foreground --kill-after=5 --signal=SIGINT 61 time metta /opt/logicmoo_opencog/hyperon-wam/examples/extended_compat/hyperon-pln_metta/inference-control/inf-ctl-month-bc-cont-xp.metta [()] [()] [()] [()] [()] [()] [()] [()] [()] [()] [()] [()] [()] [()] [()] [()] [()] [()] [()] ["=== test depth-bc-continuor ==="] [((Error (get-closed-proof (bc GroundingSpace-0x559dcff42fb8 depth-updater depth-updater depth-continuor (fromNumber 1) (: $prf (Continue $query Z)))) NoValidAlternatives))] ["~~~ test depth-bc-continuor ~~~"] [(Error (assertEqual (depth-bc-continuor (: $prf $thm) Z) False) Expected: [False] Got: [True] Missed result: False)] 0.22user 0.00system 0:00.22elapsed 100%CPU (0avgtext+0avgdata 34176maxresident)k 0inputs+0outputs (0major+3804minor)pagefaults 0swaps