Splitting axiom has a model

John's idea of using infinite trees works like a charm :)