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