Execute the Z# front-end interpreter on the supplied file with the supplied inputs
(i: Inputs, input_scalar_values: FxHashMap<String, Value>)
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected