x1 is a former but not current spouse/ex-spouse of x2 but law/norm/custom x3.
x3 in its fullest form should specify at least both the basis for the spousal relationship when it existed as well as how it was terminated. Technically, this word does not preclude the possibility of widowhood/death of the spouse as being the cause of the termination of the spousal relationship.