LSP: Proof decomposition should push `'` down

[kape1395]

Currently, if we have a goal (A /\ B)', the decomposition is not proposed, because the outer-most operator is not /\. The priming should probably be pushed down before matching the pattern.