Better error messages for the learnset checker