Add test case for https://github.com/julianhyde/optiq/issues/112.