Correction for inter-procedural