The Identity Problem in the special affine group of $mathbbZ^2$ (Logical Methods in Computer Science, 2025)