Possible bug: points-to: null or anything... what should vars be?