Added inter-procedural data-flow analysis for fields. Still need to
check this thoroughly. Also, need to do the same for variables passed as
arguments.