Framework for Equivalence Checking of Parallelized Code