ModuleInstrumenter passing null in an (possibly?) inapporpriate manner

[peteryongzhong]

In here:

https://github.com/titzer/wizard-engine/blame/12c03ba8e933f70ec8eca3f868b6088d29d4e40b/src/monitors/ModuleInstrumenter.v3#L11

I feel like for here passing null will cause the following to fail the null vibe check.

wizard-engine/src/util/ProbeUtil.v3

Line 36 in 12c03ba

return f(dynamicLoc);

Perhaps the strat would be, in the absence of a lambda implementation in virgil, to add some noop function and use that as the argument? But perhaps i am missing some bigger picture.

def noop(d: DynamicLoc) -> Resumption{
	return Resumption.Continue;
}