Added variable name for the case class when considering dependent types - There can be two options of the same type now as fields of the case class.
Now work for Jad's example.
Corrected bug when using Z3
Corrected bug when using infinite stream not lazily.