Bug: Short Truth-Table: Or Elim checks out when it should not

[Bram28]

See image: I made the A from line 1 True, and the Or Elim rule checked out. This should not be the case: just because the whole disjunction is True does not mean that A is True. The same thing happens when I set the right side to True (or both): the rule checks out, but it should not. I can even set one of the sides to False, and it will check out. Only when I set both sides to False will the rule not check out. So .. it seems like it's checking for compatibility (yes, it is compatible with the truth of the disjunctions that A is True ... or False for that matter), but the rule should of course be checking for whether the new values are forced.