Add fold-fold fusion counterexample