Yes. The function's frame contains a reference to the object storing local variables of the parent frame. To do better you need to store a list of variables ref

Yes. The function's frame contains a reference to the object storing local variables of the parent frame. To do better you need to store a list of variables referenced (which you can only do if there's neither direct-eval nor a with statement).