Lines Matching full:prefer
879 /// In case of equal penalties, we want to prefer states that were inserted