Update StackBasedArithmeticSyntaxChecker