Function new_local_prover 

pub fn new_local_prover<E, VB>(
    vm_builder: VB,
    vm_pk: &VmProvingKey<VB::VmConfig>,
    exe: Arc<VmExe<Val<E::SC>>>,
) -> Result<VmInstance<E, VB>, VirtualMachineError>
where
    E: StarkEngine<SC = SC>,
    VB: VmBuilder<E>,