translateExpression (SUpdate var e) =
  JSAssign (JSVar var) (translateExpression e)
translateExpression (SUpdate var e) =
  JSAssign (JSVar var) (translateExpression e)
translateExpression (SUpdate var e) =
  JSAssign (JSVar var) (translateExpression e)