Exception when assertion is the last statement

[jad-hamza]

This fails with exception:

Exception in thread "main" inox.ast.Definitions$FunctionLookupException: Lookup failed for function with symbol assert

object Asserting {
  def f() = {
      assert(true)
  }
}

[samarion]

Fixed