some valgrind output parsing and conversion to z3