method private is_Warning () =
    Parameter_map.is_true Warn.name other_optionTbl