inversion was prunning when a variables was appearing twice, like in [?u[x] x =?= c ?v[x]], therefore loosing solutions