An assertion is added.