- Prolog DM compiles with recent SWI release again
- Bugfixes for stress test
- Beautified code