Enviar aquest missatge de text: Automatically Refining Assertions for Efficient Debugging of Quantum Programs