Test code 'Lazy fixed-point and Infinite Streams'