anchor.diff:    =
       let b1 : bool = b > 0 in
         match b1 with
  -       | true -> b
  -     | false -> b + 0
  +       | True -> b
  +     | False -> b + 0
       end" "A toplevel function definition should be properly transformed into a let rec construct" :test #'equal-ignore-whitespace)
   
   (defun test/let-1 ()
  
positive.code:                                ((the bool false) (@ + b (the int 0)))))))
                 (the bool true))))
  
  (plan 7)
  
  (is (test/letfun-1) "let rec f (a: (array int)) : int
      requires { true }
  
negative.code:   =
      let b1 : bool = b > 0 in
  match b1 with
       | True -> b
       | False -> b + 0
      end
      in
      true" "A letfun should be properly parsed" :test #'equal-ignore-whitespace)
  