moved - changed name of NaiveLabelling to StateLabelling as it wasn't so
naive after all!