Seol mar théacs é seo: Learning symbolic abstractions from system execution traces