Add debugging assertion