Made PredicateSplitStep able to split on only atoms, fixed bug in
uniform splitting