Whole analysis finished porting. However, there is still a bug when I
try to move OldStore into RetK. Hopefully I can fix that tomorrow.