still working on abstract domains