For the second one, I could check all of the statements in the consequent (without doing any traversal).