Fixed UP expression registration#7656

CEisenhofer wants to merge 2 commits intoZ3Prover:masterZ3Prover/z3:masterfrom

CEisenhofer:masterCEisenhofer/z3:masterCopy head branch name to clipboard