Simple counterexample for bug #57