Transforming C OpenMP Programs for Verification in CIVL