Jukebox.Tools.GuessModel
data Universe
universe
peano
trees
guessModel
ind
function
rhss
cases
cases1