Fixed a bug where the recursive occurrence counter for fusion did not take into account whether the inner fixpoint was productive.
Fixed a bug where the recursive occurrence counter for fusion did not take into account whether the inner fixpoint was productive.