Added test case for deflazytype.