RE: nev: Incorrect facts in root node

[menocsk27]

I investigated imldresden/nev#9 and can't pinpoint an issue with the nev side, thus I believe it is a nemo issue.

Original description by mkroetzsch:

Steps to reproduce:

• Run the basic ancestor example
• Open proof tree for fact "ancestor(alice,daniel)" (the tree has six nodes and four rules)
• Select "unrestrict query" on the right (no change in tree, there is just one fact for this proof structure)
• Prune the tree below parent(cho,daniel) on the right (now the root display changes, the root node now has two facts)
• Also prune the tree below ancestor(alice,cho) on the left (now we have three nodes and one rule; the nodes that remained have not changed; query is still unrestricted)
• Now select "edit current query" and select "alice,eiko" as current facts in root. Click apply.

Expected result: The current query is for ancestor(alice,eiko) and the root node shows exactly this one fact.

Actual result: The current query is shown as being ancestor(alice,eiko) but the root node continues to show two facts (alice,daniel and alice,eiko), which is clearly incorrect. However, the right child node has updated correctly to show parent(cho,eiko) only.

[monsterkrampe]

It could be that this has been fixed in #750 already. But this needs to be tested again once #747 is fixed.

[monsterkrampe]

After #747 being fixed, I can confirm that at least the example given in the issue report works now.
I'm therefore closing this issue.