https://123dok.net/document/zgw9wk38-tracing-vs-partial-evaluation.html