/home/runner/work/cbmc/cbmc/doc/architectural/goto-program-transformations.md File Reference