let add_abstract_logic_info li = AbstractLogicInfo.add li