adding red tests for InfiniteBuffer instantiation