Create pointer_analysis.dflow