Mario, I am only superficially familiar with Judea Pearl's work on causality, but I see a real need for this kind of thinking to be taught in undergraduate education.

What you have presented here is a wonderful start to bringing this functionality into the Wolfram ecosystem. I hope you might be motivated to continue to develop tools that support this type of thinking in Mathematica, perhaps as native functionality or as a paclet.

At any rate, thank you for sharing this very nice work! I suspect it is underappreciated because of its novelty.