Recording constraints for newly-introduced variables during state consolidation#852

marcoeilers merged 2 commits into

masterviperproject/silicon:masterfrom

meilers_record_merge_var_constraintsviperproject/silicon:meilers_record_merge_var_constraintsCopy head branch name to clipboard