Add assert case