let rec get_concrete_param_from_formal formal formall concretel f sid =
  match formall, concretel with 
    | [],_ 
    | _, [] -> Aorai_option.fatal "The stmt %d is a call of the function %s, but it is not called with the formal parameter %s." sid f formal
    | f1::fl,c1::cl -> 
        if (String.compare formal f1.vname)=0 
        then c1.enode 
        else get_concrete_param_from_formal formal fl cl f sid