add pointer analysis using (type offset), passing test: 6/8