Jz sparse

@jz10 
/// ??? Why don't we skip control flow descendants for which the incoming info has not been updated?