Fix PropCheck with 2 lists.