add in reasons why some covergroup option removed