value flow: bailout in valueFlowBeforeCondition if variable can be assigned by subfunction