Cleanup json printing

Counterexamples in JSON objects should not be indexed by names of files and line numbers. The field should have a fixed name and the value of this field should correspond to the filename or the line number.