Symbolic Analysis for Parallelizing Compilers