Adding minimum contra example for bug