retorno de tipo nas regras tipo_var que antes eram vazias, ainda esta com segmentation fault