Removes error prone, apparently superfluous code from RUN-PROG