feat: new pass to annotate indirect calls with possible callees
feat: new pass to annotate indirect calls with possible callees

This pass is unused but it might be useful in the future.

SRI-CSL/OCCAM,SRI-CSL/OCCAM,ashish-gehani/OCCAM,ashish-gehani/OCCAM,SRI-CSL/OCCAM,SRI-CSL/OCCAM,ashish-gehani/OCCAM,SRI-CSL/OCCAM,ashish-gehani/OCCAM