OpenMP-assume_Doerfert