Inspector for code variant1 appears to be working, but more testing is needed.
Merge branch 'master' of https://github.com/mn200/inspector-strategies
Added domain and range specification to mrel.

Can't assume that we will always have representative pairs for
everything in the range.  Really only need everything at the upper end
of the range, but this is still an issue.  Still not getting results I
expect with construct_explicit_relation when the computation domain is
smaller than the data index space.
Got variant 1 working in variants1Dloop.sml.