nicer cbmc detection