Start indexation from 1 instead of 0.
Refactor ExpandSets_ to use indices of events.
Not gate logic is added to ExpandSets.
NOT gate's children size check is added.
Refactor reporting function to use comas.