Class SvaInstanceTransformerVisitor