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