Function zkapp_main 

fn zkapp_main(
    statement: Statement<SokDigest>,
    witness: &ZkappCommandSegmentWitness<'_>,
    spec: &[Spec],
    w: &mut Witness<Fp>,
) -> Result<(Option<ZkappStatement>, Boolean), InvalidBigInt>