Use latest CBMC API