Broaden the circumstances under which inaccessible code warnings are reported due to unsatisfiable constraints.