CSE: constrain address and contract field and parameters#828

palinatolmach wants to merge 4 commits into

masterruntimeverification/kontrol:masterfrom

cse-address-constraintsruntimeverification/kontrol:cse-address-constraintsCopy head branch name to clipboard