WARNING: The given program is AST, but not PAST. The expected runtime is infinite.