Move CIF type checks for events that may lead to false positives to post checker
Some checks use
OPTIMISTIC/PESSIMISTIC events equality for event parameters and component parameter wraps for events. This may result in false positives/negatives. By moving the checks to the post-checker, all component definitions and instantiations are removed. In that way, we can do checks that do not give false positives/negatives.