When running the test in the attached file there are trees that the SiblingFinder based intersection contains that the intersection based on GenericCondensedIntersectionAutomaton does not contain. Running the test will output one of the trees that are not found. The problems seems to be that loops in the decomposition automaton are processed correctly.
Original report by Christoph Teichmann (Bitbucket: cteichmann, GitHub: CTNLP).
When running the test in the attached file there are trees that the SiblingFinder based intersection contains that the intersection based on GenericCondensedIntersectionAutomaton does not contain. Running the test will output one of the trees that are not found. The problems seems to be that loops in the decomposition automaton are processed correctly.