Use more precise assertions