ValueFlow: Improved analysis in the valueFlowAfterAssign