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