RuleIteratedElimination
-------------------------

.. autoclass:: whalrus.RuleIteratedElimination
    :members:
    :inherited-members: