Improved local call analysis for inlined higher-order functions