Lifted scoping. Maybe also hierarchical/multi-timestep scoping. - View it on GitHub