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