added test (which fails with an infinite loop)