let abstract_logic_info = AbstractLogicInfo.get