Optimisations in CBMC r2679 result in different test cases