Added one buggy test case, to discuss.