Improve handling exitvalues coming from CBMC