{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":"debug!(?value);"}]}
        debug!(?value);
        let value = self.enter_forall_and_leak_universe(forall);
        f(value)