process_json.py is a script that will read each interaction thing from the file
specified in the first argument, and attempt to slice the program. The output
will contain the original code, and the set of line numbers that would be kept
in the slice.