let is_cst_one e =
  match e with
      PCst (IntConstant "1"-> true
    | _ -> false