Using weakest application conditions to rank graph transformations for graph repair (Logical Methods in Computer Science, 2026)