### (* METASENV after disambiguation *)
_ :? _; _ :? _ |- ?25: Set
### (* TERM after disambiguation *)
<[x:list{A:=?25[_ ; _]}]list{A:=?25[_ ; _]}>Cases nil{A:=?25[_ ; _]} of
nil => nil{A:=?25[_ ; _]}
### (* METASENV after disambiguation *)
_ :? _; _ :? _ |- ?25: Set
### (* TERM after disambiguation *)
<[x:list{A:=?25[_ ; _]}]list{A:=?25[_ ; _]}>Cases nil{A:=?25[_ ; _]} of
nil => nil{A:=?25[_ ; _]}