The usage tracking is ready; the start points and usage site is recorded; TODO: check the recorded basic blocks