Since the inspection wasn't able to detect them if they were more than
one extra term apart from each other anyway, it's easier to understand
what's going when left and right operands of the top left AND expression
are visited explicitly without somewhat convoluted recursive traversal
of logical expressions inside isRightSimplified()/isLeftSimplified().