[P1] Enable a robust direct dominant live-in pattern in `CanonicalizeLiveInPass`

[ShangkunLi]

The current direct dominant live-in pattern is over-conservative.

We need to enable a variable-based pattern instead of the current block-based pattern for robustness.