Wrote the iterative solver's transfer function for dataflow analysis with fields