added a simpler wfst formulation for lexion and tm composition.