let test1 =
  _let _e earthquake
    (_let _a alarm
       (_if (Var _a)
          (_if (Var _e) (Const 1) (Const 0))
          (Const (-1))))