method private is_ConstFold () =
    Parameter_map.is_true ConstFold.name other_optionTbl