fReturnKind= otherInfo.fReturnKind;
	private void mergeExecutionFlowSequential(FlowInfo otherInfo, FlowContext context) {		if (!context.considerExecutionFlow())			return;		mergeBranches(otherInfo, context);		fReturnKind= otherInfo.fReturnKind;	}