Removed configurePossibleEvents within a ModelChecker