[cram_json_prolog] minor improvements