Function Graph Transformation Rules