Forward reference

[jad-hamza]

Stainless doesn't report properly expressions that refer to val's which are defined after. Is this due to the fact that we don't run the full scalac pipeline? On that file, scalac gives the error:

error: forward reference extends over definition of value y

object ValSwap {
  def f() = {
    val y = x
    val x = 0
  }
}