it only misses record_cross_equivalence funciont before CUDA development