Liquid Types Optimization

[alcides]

def fun (x:Int | x > 2) : Int {
   if x > 0 then 100 else 200
}

When optimized, it should return:

def fun (x:Int | x > 2) : Int {
   100
}

Alternatively, the compiler should emit an warning for the dead else branch.