fn lift_definitions(policy: &mut Policy)
Traverse the policy body and lift variable declarations to be definitions where possible. This lets us avoid repeated graph searches for the same variables.