Rename pessimisticProgapagation to be more accurate