«ajusticiamiento» de exguerrillero por “alta traición”