bitreverse is not supported at the moment.

It appears CBMC does not have available the bitreverse builtin according to the irep IDs definitions. I will talk to CBMC folks to see what can be done about this, but another approach here is to implement the logic for bit reversal it in RMC.