renamed no-double-after-split property