Convert TLA+ output (and values) into JSON - View it on GitHub