Query hangs in swiplserver, timeout doesn't work

Help!
4

I tried it without the ovar statement, and the queries with abducibility now return an answer, though the formatting is a bit wild. But other queries fail with the determinism bug I reported earlier.

Not sure where to go from here.