Symbol: prog_is_subprog