added the SSAVisitor implementation