This would write the imperative core to a JSON file, just like `--dump-corefn` dumps the functional core.
This would write the imperative core to a JSON file, just like
--dump-corefndumps the functional core.