let
abstract_logic_info =
AbstractLogicInfo
.get