(program
  1.0.0
  [
    [
      [
        [
          [
            (force (builtin ifThenElse))
            [ [ (builtin lessThanInteger) (con integer 1) ] (con integer 3) ]
          ]
          (builtin addInteger)
        ]
        (builtin subtractInteger)
      ]
      (con integer 1)
    ]
    (con integer 3)
  ]
)
