let
rec
lus_par_exp =
function
| Const _ | Name _ -> []
| Bin (_, e1, e2) -> lus_par_exp e1 @ lus_par_exp e2
| Mem e -> lus_par_exp e
| Temp t -> [ t ]
| Call (_, _) -> assert false
(* expression canonique *)
;;