method private is_DoDivMod () =
    Parameter_map.is_true DoDivMod.name gen_optionTbl