at least one full path from translation unit to conditional expression and on down