fix duplicate function name.
ø
fixes to field-based pointer analysis notion of all instance keys.
filter for only those actually present in the CG