If isomorphic structs are present then this transformation can pick the wrong struct type. It should be changed so as to not depend on the type manager.