Fixed a bug causing a null reference exception when using the --infer-purity flag.
Fixed a bug causing a null reference exception when using the --infer-purity flag.

codespecs/daikon-dot-net-front-end,codespecs/daikon-dot-net-front-end,codespecs/daikon-dot-net-front-end,codespecs/daikon-dot-net-front-end