Termination checker is unsound in handling streams

[ravimad]

Given a variable v having case class type that has a field f of function type say Unit => A. The termination checker assumes that v.f() is a structurally smaller term than v. This basically stems from the assumption of well-founded types.