provide a dual function to restrict
add a check for disjointness of two intmaps