Making alias instrumentation gloal to SCoP detection and storing inserted checks