Bug fix...supposed to pass in bsm into Pointer analysis...