The "halt" function does not take the result of "program" as an input, but rather the source code (or any other full description of the program). If "halt(program)" would be a recursive call than then "program" would simply not terminate at all.