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