Fixed bugs in graph output and improved portability, updated CBMC parser