pub fn persistent_frame_pop() -> (String, HashSet<String>)
Pops the persistent frame and returns (func_name, declared_persistent_names).
(func_name, declared_persistent_names)