Test that the Peras certificate inclusion rules can correctly decide when to include a certificate

NOTE: in this file, we use uncommon variable names such as _A because that is their name in the CIP-0140, and we can't have variable names starting with capital letters. Contrary to typical Haskell conventions, those do not denote ignored variables.