Create parse.py

run cbmc and parse xml