STS: La resolución sobrevenida de un contrato de permuta deja sin efecto ex tunc el contrato y todas las obligaciones jurídicas así como la eventual alteración patrimonial que pudo dar lugar a una ganancia patrimonial en el IRPF