private boolean isBSONEnabled(TransitionNode e, Map<Condition, Collection<Phase>> phases) {
        //if e is upper event, e is BSON enabled if every condition in the maximal phases of e is marked
        for (ONGroup group : upperGroups) {
            if (group.getComponents().contains(e)) {
                for (Node pre : getPrePNSet(e)) {