OnModel now carries the result of the prover call