UNB/ CS/ David Bremner/ teaching/ cs4613/ lectures/ lecture12/ infer-good.rkt 
#lang plait
(define f
  (lambda (x y)
    (if x
        (+ y 1) (+ y 2))))