ValueFlow: analysis in condition.