[WIP] Contract Replacement Pass#10

dobios wants to merge 8 commits intomaindobios/btor2-opt:mainfrom

contractsdobios/btor2-opt:contractsCopy head branch name to clipboard