T: OH: some changes to the symbol-engines

git-svn-id: https://openholdembot.googlecode.com/svn/trunk@3120 b0b9fd3a-3a3c-0410-a9aa-dfaef611493d