new counterexample to preservation due to fn-restriction in NEW