Improve logging for concurrency bugs
Fix typo
Further improve clean handling of Prolog single quotes