diff --git a/src/passes/1-parser/pascaligo/Tests/pp.ligo b/src/passes/1-parser/pascaligo/Tests/pp.ligo
new file mode 100644
index 000000000..bd3869197
--- /dev/null
+++ b/src/passes/1-parser/pascaligo/Tests/pp.ligo
@@ -0,0 +1,91 @@
+type t is timestamp * nat -> map (string, address)
+type u is A | B of t * int | C of int -> (string -> int)
+type v is record a : t; b : record c : string end end
+
+function back (var store : store) : list (operation) * store is
+  var operations : list (operation) := list []
+  begin
+    const a : nat =  0n;
+    x0 := record foo = "1"; bar = 4n end;
+    x1 := nil;
+    x2 := list end;
+    x3 := 3#4# list [5; 6];
+    case foo of
+      10n -> skip
+    end;
+    if s contains x then skip else skip;
+    s := set [3_000mutez; -2; 1n];
+    a := A;
+    b := B (a);
+    c := C (a, B (a));
+    d := None;
+    e := Some (a, B (b));
+    z := z.1.2;
+    x := map [1 -> "1"; 2 -> "2"];
+    y := a.b.c[3];
+    a := "hello " ^ "world" ^ "!";
+    patch store.backers with set [(1); f(2*3)];
+    remove (1,2,3) from set foo.bar;
+    remove 3 from map foo.bar;
+    patch store.backers with map [sender -> amount];
+    if now > store.deadline and (not True) then
+      begin
+        f (x,1);
+        for k -> d : int * string in map m block { skip };
+        for x : int in set s block { skip };
+        while i < 10n
+          begin
+            acc := 2 - (if toggle then f(x) else Unit);
+          end;
+        for i := 1n to 10n
+          begin
+            acc := acc + i;
+          end;
+        failwith ("Deadline passed");
+      end
+    else
+      case store.backers[sender] of [
+        None -> store.0.backers[sender] := amount
+      | Some (_) -> skip
+      | B (x, C (y,z)) -> skip
+      | False#True#Unit#0xAA#"hi"#4#nil -> skip
+      ]
+  end with (operations, store)
+
+function claim (var store : store) : list (operation) * store is
+  var operations : list (operation) := nil
+  begin
+    if now <= store.deadline then
+      failwith ("Too soon.")
+    else
+      case store.backers[sender] of
+        None ->
+          failwith ("Not a backer.")
+      | Some (amount) ->
+          if balance >= store.goal or store.funded then
+            failwith ("Goal reached: no refund.")
+          else
+            begin
+              operations.0.foo := list [transaction (unit, sender, amount)];
+              remove sender from map store.backers
+            end
+      end
+  end with (operations, store)
+
+function withdraw (var store : store) : list (operation) * store is
+  var operations : list (operation) := list end
+  begin
+    if sender = owner then
+      if now >= store.deadline then
+        if balance >= store.goal then {
+//             store.funded := True;
+          patch store with record funded = True; a = b end;
+          operations := list [Transfer (owner, balance)];
+        };
+        else failwith ("Below target.")
+      else failwith ("Too soon.");
+    else skip
+  end with case (foo: bar) of
+             nil -> (operations, (store : store))
+           |   _ -> (operations, store)
+           end