fix bug in pointer analysis, passing test 7/8