start working on intra-procedural