interprocedural pointer analysis seems to work