porting the analysis depth tests to the stable version of cbmc - namely 4.3