Relax condition to internalize functions that are not in the interface
Relax condition to internalize functions that are not in the interface

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