Update AtkPat specification for overflowing a piece.
Add 2 more AtkPat tests.