Returns true if the region contained by this loop is a superset of the region contained by the given other loop.
See Implementation
Returns true if the region contained by this loop is a superset of the region contained by the given other loop.