Function permissions_exists 

fn permissions_exists<Z: ZkappApplication>(
    perms: Permissions<AuthRequired>,
    w: &mut Z::WitnessGenerator,
) -> Permissions<AuthRequired>