bugfix in LPO: negating solution to get another one wouldnt work
bugfix in LPO: negating solution to get another one wouldnt work

c-cube/zipperposition,c-cube/logtk,c-cube/logtk,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition