Added bounded by final type inspection