Added ProB options and EventBComp implementation