private Collection<Condition> forwardSearch(Node node) {
        Collection<Condition> result = new HashSet<>();
        Stack<Node> stack = new Stack<>();
        Collection<Node> visit = new HashSet<>();