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