started moving towards isabelle 2013, json for communication and goaltype instead of wires as in CICM paper