Pošalji tekstualnu poruku: Learning symbolic abstractions from system execution traces