Added new necesary cut to generate_graph predicate