[WIP] - Heuristics, for assumptions on xi and eta

I implemented one heuristic that assumes
1] `xi` = 0 2] `eta = f(x) + g(y)`
2] `eta` =0 2] `xi = f(x) + g(y)`