changed pvs<bool> into pvs_sorted and pvs_unsorted