Adrian D. Mensing, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser: From definitional interpreter to symbolic executor. META@SPLASH 2019: 11-20