let is_cst_zero e =
  match e with
    | PCst(IntConstant "0"-> true
    | _ -> false