Parametric Flows: Automated Behavior Equivalencing for Symbolic Analysis of Races in CUDA Programs