cbmc源码分析（3.5）

目前的进展：

对四个算法进行了粗略的研究，很明显这东西还挺复杂，暂时是研究不透，尤其是在缺少调试实践的情况下，干读很难理解。

对在什么位置调用算法进行了定位，这一部分较为简单。

对如何正确调试带有头文件的测试文件进行了研究，几乎无进展，转变思路，计划对源码中对include处理细节进行研究，目前尚无进展。