let is_atomic = function 
    | Tint _ | Treal _ | Ttrue | Tfalse | Tcall(_,[]) | Tvar _ -> true
    | _ -> false