; This is a "limitations_program" for use with cat.clsp.
(mod (
    PUBKEY
    Truths
    parent_is_cat
    lineage_proof
    delta
    inner_conditions
    _
  )

  (include condition_codes.clib)

  (list (list AGG_SIG_ME PUBKEY delta))  ; Careful with a delta of zero, the bytecode is 80 not 00
)
