CHC invariant inference tests#1

aaronbembenek wants to merge 3 commits into

mainUQ-PAC/bincaml-test:mainfrom

chc-inv-infer-testsUQ-PAC/bincaml-test:chc-inv-infer-testsCopy head branch name to clipboard