Updates domains for more variables