Fix error compilación PaginaVerificacion

Añadidos tres métodos que no se generan al haber modificado el dsl. Son iguales a los que se deberían de generar, dejando espacio para personalizaciones.