Test cases for debug notation