Framing should succeed when a disjunct is exactly the framed hypothesis
For example, framing
(P ∨ Q) ∗ R should succeed and turn the goal into
In general, framing of non-persistent hypotheses in just one disjunct of a disjunction leads to information loss, so should fail. However, if framing in one disjunct turns it into
True, framing should succeed.