A FunnyQT implementation of the Henshin transformation discussed at http://www.ckrause.org/2013/12/path-constraints-in-henshin.html