Existential Label Flow Inference via CFL Reachability