Predicate Base::contains_interesting_expression_within_test

Hold if outer contains inner, both are contained within a test and inner is a use is a plain use or an attribute lookup

predicate contains_interesting_expression_within_test(ControlFlowNode outer, ControlFlowNode inner)