Typescript drafts on Pointer Analysis