Structural boundness checking is done