.. automodule:: insights.parsers.smt
   :members:
   :show-inheritance: