Add assertion