Preconditions for foldr-fusion-1.
Preconditions for foldr-fusion-2.