It’s my understanding that Menthol ciggies get their flavor applied to the paper - not the tobacco. Should some kind of ban be enacted, it would be trivial to get around. Look for some nice little cottage industries to emerge.
Actually it is in the filter. Kools were the first menthol and the first filter cigarette.