Update probability verification and addition to basic events.