untested fst dual decomp