{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"self.storage.any_unifications"}]}
        self.storage.any_unifications = snapshot.any_unifications;
        debug!("RegionConstraintCollector: rollback_to({:?})", snapshot);
    }