[WIP] Heuristics to find out `xi` and `eta`

For now conditions for `xi` and `eta` such that either one is `f(x) + g(y)` is implemented.