liquid-fixpoint-0.8.0.2: tests/pos/coerce2b.fq

constant len : (func(2, [(@(0)  @(1)); int]))

bind 1 b   : {v : [int] | true } 
bind 2 pig : {v : b     | len v = 10 }

constraint:
  env [1;2]
  lhs {v : int | true }
  rhs {v : int | len pig > 5}
  id 1 tag []