Req is then inconsistent. Never ignore Req! Anyway this is a test, just remove this clause and the error one, same result.