Fixed #5916 (ValueFlow: Add a valueFlowAfterCondition() function)