CBMC updated to be 4.7