On leading terms of quaternionic Stickelberger elements over number fields