nitc :: FlowContext :: _is_already_unreachable
# Flag to avoid repeated errors var is_already_unreachable: Bool = false