Candidates for leancheck-instances