Bram-Hub/Willow

Changing a statement's antecedent does not have consistent behavior

Closed this issue · 0 comments

How to reproduce: Create a truth tree containing three statements and select the last one. Right click the first statement to make the first statement the antecedent of the third, but then right click the second statement to replace the first statement as the antecedent of the third. However, if you select the first and second statements, they both contain the third statement in their decompositions.