Fixing an issue with Tokens creating ambiguities with variables.
Bypassing the check from TokenSortCollector to allow the fix to work.
Made the fix a filter of it's own for better clarity. Added regression test.
Fixing the config.xml files for ktest.
Moving the CorrectConstantsTransformer filter later so it fixes kool.
Forgot to call CorrectConstantsTransformer in a few places. Should fix most of the tests.
Fixing StringUtil escape not taking into consideration '\f'.
KTEST: Support 'posixOnly' attributes in config.xml
Merge pull request #299 from kframework/backslashf-fix

Fixing StringUtil escape not taking into consideration '\f'.
fixed token sort detection
Merge pull request #289 from kframework/tokenfix

Fixing an issue with Tokens creating ambiguities with variables.
Merge pull request #301 from osa1/daejun-patch

KTEST: Support 'posixOnly' attributes in config.xml