method private enter_block () = Stack.push (ref false) has_call