Fix bug of treating general priority as 0, as
supposed to -1;
Fix bug: wrong concatenation.
Fix tests.
Throw if unexpected symbol is met.