FIXED: unintended non-determinism.
ENHANCED: Get more source location details into messages.