is_homogeneous now checks nested sets also