rakhimov opened this issue 7 years ago · 0 comments
Upon cloning and collecting formulas in event-tree traversal, 'atleast' connectives' min-number property is getting sliced in copy.