-
Andrei Paskevich authored
This is still not ideal, because we may miss cases where a proxy variable is used before being defined: forall o_proxy, r. r = o_proxy -> o_proxy = 2 -> r + r = 5 However, I am not sure this really happens in practice.
2cc24407