Candidates for assert-failure