The FunnyQT solution of the TTC 2013 Class Diagram Restructuring Case