this.accumType = _accumType( elementType ); this.accumTypeArg = accumType.typeArgs()[0];
    protected void initializeSyms() {        funSymName = "leftTracer";                nestedMap = new HashMap();                super.initializeSyms();                this.accumSym = newParam("accum")                    // accumulator            .setType( _accumType( elementType ));                this.funSym            .setType( new Type.MethodType( new Symbol[] {                 accumSym, iterSym, stateSym},                                            _accumType( elementType )));                // 2 do: rename switchresultsym to something else...                this.resultSym = new TermSymbol( //Kinds.VAR,                                        pos,                                        cf.fresh.newName("trace"),                                        owner,                                        0 )            .setType( _accumType( elementType ) ) ;    }