Adding preserves-definedness attributes to domains.md#4680

PetarMax wants to merge 3 commits intodevelopruntimeverification/k:developfrom

petar/pres-defruntimeverification/k:petar/pres-defCopy head branch name to clipboard