rev map is required for with constraint
merge