https://123dok.net/document/q057vgxv-static-domain-analysis-for-compiling-commutative-loop-nests.html