bad help printing for option when invisible and has negative option (#1458) · Issues · pub / frama-c