- Improving the pruning algorithm. 

The previous algorithm didnt contemplate complex type hierarchies where
a middle supertype isn't necessarly consumed by an action. Only non
consumed types are processed, and the process needs to be iteratively
repeated till no changes are found in the graph