; This is an authorization-to-conditions function for use with p2_graftroot_or_taproot
(mod
  (
      root  ; authorization
      delegated_puzzle_hash
      proof_of_inclusion ; a2c_args
  )

  (include *standard-cl-22*)

  (include merkle_utils.clib)
  (include utility_macros.clib)

  (assert (= (simplify_merkle_proof delegated_puzzle_hash proof_of_inclusion) root)
    ()
  )
)