add test for bug in pushToken