Function gen_invalid_protocol_state_precondition 

fn gen_invalid_protocol_state_precondition(
    psv: &ProtocolStateView,
) -> ZkAppPreconditions

https://github.com/MinaProtocol/mina/blob/2ff0292b637684ce0372e7b8e23ec85404dc5091/src/lib/mina_generators/zkapp_command_generators.ml#L443