Added pointer analysis stuff...testing now