TheoryExprExprStructuralOpen