No caso em apreço, apesar do comprador se encontrar em mora, como se encontra patenteado nos factos provados nos pontos 5, 10 a 15, a vendedora não optou nem pela ação de cumprimento, nem pela resolução do negócio.