You could make the whole 'a > 0 => increment' thing even cleaner than the first example:

  let a = (if a > 0 then a + 1 else a)
      in #something or other