OpenZeppelin/daml-props: daml/DamlProps/Examples/Amulet/Model.daml

Daml contract source - OpenZeppelin/daml-props/daml/DamlProps/Examples/Amulet/Model.daml ```daml -- | Pure state-machine model of splice AmuletRules transfer engine. -- Models checkTransferConstraints (AmuletRules.daml:783-788) and reward minting. -- Two executor variants: buggy (mirrors splice as-i