Fixed: inheriting Setups are kept minimal.

Setup::Minimize() only removes clauses subsumed by the newly added
ones. However, the newly added ones may actually be subsumed by old
ones, that is, adding them didn't add any information at all. Hence
Setup::AddClause() now checks whether the newly added clause is
subsumed by the parent setup, and if so, it omits the clause.