Pošalji tekstualnu poruku: Ranking function synthesis for bit-vector relations