Fixed: Execution-trace-server now uses new package cram-json-prolog.