Function is_genesis_state_var2 

fn is_genesis_state_var2(
    cs: &CheckedConsensusState,
    w: &mut Witness<Fp>,
) -> Boolean