A Unified Symbolic Evaluation Framework for Parallelizing Compilers