added case to refute for empty points-to set of parameter--means parameter must be null
fixed NPE's in computing points-to set, fixed bug involving wrongful substitution of fields with same name