Pattern Matching and Graph Rewrite to a Fixed PointDeep-ML | Problem