Add an addition debug assertion