fixed bug in handling of user sequences in PrefixDictInverseAdder.getName()
fixed bug in handling of user sequences in PrefixDictInverseAdder.getName()

theoryno3/pygr,GenDataPro/pygr,cjlee112/pygr,cjlee112/pygr,RitwikGupta/pygr,ctb/pygr,cjlee112/pygr,theoryno3/pygr,ctb/pygr,GenDataPro/pygr,RitwikGupta/pygr,ctb/pygr,GenDataPro/pygr,RitwikGupta/pygr,ctb/pygr,cjlee112/pygr,theoryno3/pygr,ctb/pygr