Estadísticas de Combining interactive and automatic reasoning in first order theories of functional programs