valueFlowBefore: better analysis of conditional assignment