- ex thisexpairseq(const epvector & v, const ex & oc) const;
- ex thisexpairseq(std::auto_ptr<epvector> vp, const ex & oc) const;
+ ex thisexpairseq(const epvector & v, const ex & oc, bool do_index_renaming = false) const;
+ ex thisexpairseq(std::auto_ptr<epvector> vp, const ex & oc, bool do_index_renaming = false) const;