On the k-Boundedness for Existential Rules