Improve presentation of error when incorrect version of CBMC