let
add_abstract_logic_info li =
AbstractLogicInfo
.add li