UNB/ CS/ David Bremner/ teaching/ cs4613/ lectures/ lecture13/ infer-tr-bad.rkt 
#lang typed/racket
(lambda (x)
  (if x
      (+ x 1) (+ x 2)))