fixes for field-based pointer analysis and callgraph construction