import stormpy
from stormpy.expressions import expressions
class TestExpressions:
def test_expression_manager(self):
manager = expressions.ExpressionManager
def test_expression(self):
expression = expressions.Expression
