(let a 2) ((if a) (then + a 2) (else 0) )