assert++
additional assertion