Semant in prog4 is done so prog4 is finished