julia

inference: Fix correctness and ensure termination in the presence of PhiNodes

#53876

Merged