Checking whether a loop is possible could be more intelligent (taking order/builtins into account)

[Broes De Cat]

The attached file timeouts because xsb has to iterate over both for a very long time, as long as it is not detected that both can be merged.