169   static profile_probability never ()  in class()
325       if (other == never ())  in class()
327       if (*this == never ())  in class()
340       if (other == never ())  in class()
342       if (*this == never ())  in class()
359       if (*this == never ()  in class()
360 	  || other == never ())  in class()
372       if (*this == never ()  in class()
373 	  || other == never ())  in class()
387       if (*this == never ()  in class()
388 	  || other == never ())  in class()
389 	return never ();  in class()
400       if (*this == never ()  in class()
401 	  || other == never ())  in class()
402 	return *this = never ();  in class()
415       if (*this == never ())  in class()
416 	return never ();  in class()
443       if (*this == never ())  in class()
444 	return *this = never ();  in class()
532       if (*this == never ())  in class()
1059       if (prob == profile_probability::never ())  in apply_probability()
1181 	return profile_probability::never ();  in probability_in()