let get_concrete_value_of_return (f:string) =
  let kf = Globals.Functions.find_by_name f in
  let rstmt = Kernel_function.find_return kf in
  match rstmt.skind with
    | Return (Some (e),_) -> e.enode
    | _ -> Aorai_option.fatal "The stmt %d have to be a return of the function %s, but it is not a well formed stmt." rstmt.sid f