Correct Snoc implementations