n*m is even if n+m is odd (old assumptions)
n*m is even if n+m is odd (new assumptions)
UnXFAIL Wester test_H3
Merge pull request #2314 from skirpichev/unxfail-wester-H3

UnXFAIL Wester test H3