An optimisation(~hack) that uses the fact that clauses are used as connectors

So we don't need to add them individually, we can do it in one go if
they share varible(s)
Greatly increasing speed of part-finding
Better part variable limiting