Heavier testing
find(Object)
listMatchingClauses(Object).
DefaultSolver refactoring of separate method to iterate ClauseProviders