let compute_internal_using_prototype kf = match kf.fundec with | Definition _ -> assert false | Declaration _ -> get_using_prototype kf