# Conflicts: do not work at all, we should try to solve the problem in a smarter way (without computing the full closed graph)