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