fix category on "Statement unlikely to be reached"