Less trees in Sesyrel.hs, they were moved to tests.