Yamada’s counterexample to LOPSTR09