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