View fixes
We have an abstract domain factory, use it