liquid-fixpoint-0.7.0.1: tests/pos/adt_dep_1.fq

data LL 0 = [
  | emp { }
  | con { lHead : Bob, lTail : LL }
]

data Bob 0 = [
  | boo { choo : int } 
]

constraint:
  env []
  lhs {v:int | true }
  rhs {v:int | emp = (if (1 < 2) then emp else emp) }
  id 1 tag []