let rec mk_expr_disjunction expr_l =
  match expr_l with
    | [] -> assert false
    | expr::[] -> expr
    | expr::l -> new_exp (BinOp(LOr, expr,mk_expr_disjunction l,Cil.intType))