Bit more work on region abstraction