Add first-class global environments to revisited decisions.