fix insertion of edges for mutually recursive definitions