We stopped wasting our time and got shit done. We are now succesfully reducing eq constraints AND we are detecting queries that are not safe. We have to check user define predicates
Bla