An Extensive Investigation of Condition Reachability using CBMC: Study on Negative Results | IEEE Conference Publication | IEEE Xplore