Allow non-public pure methods.
Allow non-public pure methods.

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