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))