this.lower = Long.min(definition.getMaximalAddress(), Long.max(definition.getMinimalAddress(), lower));
this.upper = Long.max(this.lower, Long.min(definition.getMaximalAddress(), upper));
} else
this.lower = Long.min(definition.getMaximalAddress(), Long.max(definition.getMinimalAddress(), lower));
this.upper = Long.max(this.lower, Long.min(definition.getMaximalAddress(), upper));
} else