public SsaIdentifierTransformer(SsaState ssa) { this.ssa = ssa; this.frame = ssa.Procedure.Frame; this.argumentTransformer = new ArgumentTransformer(this); }