Add debug assertion