[analyzer;alternate edges] edges from subexpressions of "?:" are important to retain
[analyzer; alternate edges] insert an extra edge for 'for' statements to conditions.