examples from BTS

examples/bts/20619.mlw

+module Bug
+  exception A (unit, unit)
+
+  let foo (_: unit) : unit =
+    try
+      ()
+    with
+    | A _ -> ()
+    end
+end
\ No newline at end of file

examples/bts/20881.why

+theory Bug
+    use import map.Map
+
+    type t
+    type p 'a = PTR t
+
+    function load (p 'a) :'a
+
+    goal bug: forall i.
+        let p = ((PTR i):(p (map t t))) in
+        let q = ((PTR i):(p t)) in
+    (load p)[i] = (load q)
+end