Fix two bugs that popped up instrumenting MathNet.
Fix two bugs that popped up instrumenting MathNet.

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