Jmafoster1/ignore cycles dafni#307

jmafoster1 merged 4 commits intomainCITCOM-project/CausalTestingFramework:mainfrom

jmafoster1/ignore-cycles-dafniCITCOM-project/CausalTestingFramework:jmafoster1/ignore-cycles-dafniCopy head branch name to clipboard