let alarm =
  _let _e earthquake
    (_let _b burglar
       (_if (Var _e)
          (_if (Var _b) (coin 0.95) (coin 0.29))
          (_if (Var _b) (coin 0.94) (coin 0.001))))