We employ selective procedure cloning based on the values in the map. Currently, the filter function eliminates from the map relations on variables that have no upwards-exposed reads in the called procedure; this significantly reduces the amount of replication in the analysis.