TheoryExpressionExpressionStructuralOpen