Extracao de metodos de verificacao de erro nas regras de utilizacao de variaveis