Added 'with' clauses where associative domains are updated in foralls.