private Step getRevMinFire(TransitionNode e, Collection<Path> sync, Step step) {
        Step result = new Step();
        Step u = new Step();
        Stack<TransitionNode> stack = new Stack<>();
        u.addAll(step);