Factor out active ip tracking from inference loop

[Keno]

In preparation for using the same structure elsewhere.
Inference order should be exactly the same, modulo one very rare
corner case involving inference loops (where the new order is arguably
better). Retains the fast path of the previous version when statements
are visited in linear order (and even does slightly better, by avoiding an
unnecessary delete!).

Best reviewed with whitespace ignored.