We should go through all of the assertions and make sure that we don't dot out structures that would be important for the user. For assertions that state things about and element, we might just increase the depth a bit, but not turn it to infinity. In cases where we search in subtrees we should inspect with infinite depth.