More assertions are added.