In particular, we skip computing liveness for a variable X if all the regions in its type are known to outlive free regions.