fn contains_all_inputs<F>( witness_assignments: &WitnessMap<F>, inputs: &[FunctionInput<F>], ) -> bool
Check if all of the inputs to the function have assignments