[Feature request] Improve runtime for contains_behavior for PolyhedralIoContractCompound

[jgraeb]

Checking whether a behavior satisfies a contract compound takes a significant amount of time, in the case that this behavior is not contained in the contract. Attached is a test where the runtime can be checked for a big polyhedral contract compound in "test_contract.json" and the matching behavior dictionary "test_behavior.json". The test is in "test_evaluate_behavior.py". Loading the contract from the file takes a significant amount of time as well.

To check the runtime of the merge that resulted in that contract the individual contracts are in "test_merge_contracts.json".

test_behavior.json
test_contract.json
test_merge_contracts.json
test_contains_behavior.py.zip

[iincer]

Thanks @jgraeb!
Per your subsequent findings about the size of these contracts after merging, do we still have to address this issue?