Hi, I am currently playing with MetaLinks in Pharo 7 and stumbled upon some issues. For example, I found that instrumenting message sends may break compilation (see https://pharo.fogbugz.com/f/cases/22681/Metalink-on-message-may-break-compil... <https://pharo.fogbugz.com/f/cases/22681/Metalink-on-message-may-break-compil...>). Two other issues also arised: i) How do I reify the value of an RB(Valuel|Literal|LiteralValue)Node? RFValueReification does not work, and there is no reification for literal, value, or literal value nodes. ii) How do I reify arguments and results of blocks? I tried reify context for the block body #before and value for #after block "last", but I often run into the problem of no reification for literals. iii) How are cascaded message sends reified? Am I supposed to instrument the cascade node or the individual message sends? I am grateful for any pointers towards a solution. BTW, Marcus' lecture slides give a great intro to metalinks (http://marcusdenker.de/talks/18LectureMetaLinks/MetaLinks.pdf <http://marcusdenker.de/talks/18LectureMetaLinks/MetaLinks.pdf>). Cheers, Manuel