work flow of cbmc