Reorganizing specs a little
Specs for edge conditions with splits