execution trace getting smarter! almost ready to be used, i think