method private is_DoCalledPrecond () =
    Parameter_map.is_true DoCalledPrecond.name gen_optionTbl