Построение дерева из постфиксного арифметического выражения. (Pascal[консольный режим Delphi])

[[COOLER]]

Здравствуйте!
У меня задача: преобразовать арифметическое выражение в бинарное дерево. Для удобства я привёл это выражение к постфиксному виду и храню его в стеке.
(x+a)*(x-b)+3 ---> xa+xb-*3+.
Вызываю эту процедуру в главной программе, но подаю дерево, которое уже хранит "+" в корне, то есть стек выглядит, как "xa+xb-*3". Ну и применяю печать дерева. В итоге программа строит дерево лишь отчасти правильно, то есть половину символов берёт из стека, половину из кучи. Проходя по строчкам обнаружил, что в результате выполнения моего рекурсивного алгоритма программа неверно делает "шаг назад", после построения связки "-"-"b"-"x": программа опять идёт в "-" и заново создаёт правого и левого потомка. В чём моя ошибка? Или, может, я усложняю задачу и всё решается проще, вообще без постфикса? Подскажите, пожалуйста.

Procedure FunnyAdd(var t:TTree; var s:stack);
begin
  while not stack_is_empty(s) and (t^.info in Znaki) do
    begin
      new(t^.right);
      t^.right^.info:=stack_pop(s);
      FunnyAdd(t^.right,s);
      new(t^.left);
      t^.left^.info:=stack_pop(s);
      FunnyAdd(t^.left,s)
    end
end;

Znaki - множество знаков ['+','-','*','/']