rewrite Context and Usage; TODO: 1. update the StoreInst and CallInst; 2. add the startPoints; 3. note that for FAP there is no start points