#20: Bug: extra using statement
Bug: PrioParser: Stack-empty-test has to be earlier