parsing JSON in /tmp/cma2-run-Eu7zvu/prog.ail.json