corretto altro bug path resource hypergraph