extend SymbolicFST
extend SymbolicFST

cleanup
implement sequential multi-symbol predicate simulation
fix relational simulation

diku-kmc/repg,diku-kmc/kleenexlang,diku-kmc/kleenexlang,diku-kmc/repg,diku-kmc/repg,diku-kmc/kleenexlang,diku-kmc/kleenexlang,diku-kmc/repg,diku-kmc/kleenexlang,diku-kmc/repg,diku-kmc/kleenexlang,diku-kmc/repg