Dear friends, I would like to comment that Sebastian, an intern of my company, just ported the MatchTool to Pharo 9. You may find the install instructions in the following link :) https://github.com/jordanmontt/MatchTool-Spec2 Please, help us to test it, any feedback is welcome. Regards, Juan P. Sandoval http://www.semantics.bo/ https://jpsandoval.github.io/