validating data range restriction bounds before instantiating value
spaces, i.e., checking that each facet's value belongs to the value
space of the range. If not, throwing indexing exceptions so that the
axiom is skipped.