Expr.hascasl revision 9e72bdb099564f9e5f51a069f05efba14bdbe2d7
type bool ::= true | false
var x : bool
. case x of true -> ()| false -> ()
. let x = true; y = false; z = x in ()