method private leave_block () = !(Stack.pop has_call)