Minimal counterexample for #15
Counterexample in separate file for #21