Add an additional assert statement