Phase 9.3: Track Loads and Run Effective Check Calls