let get_call_name exp = match exp.enode with | Const(CStr(s)) -> s | Lval(Var(vi),NoOffset) -> vi.vname | _ -> Aorai_option.not_yet_implemented "At this time, only explicit calls are allowed by the Aorai plugin."