Programare Situații neincheiate, Corigente si Diferențe