TestValueFlow: split up valueFlowBeforeCondition into smaller functions