WYC: ignored an extended valid test which is causing an infinite loop