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