Adding tests and fixing the label G-bounded extensions