(untested) implementation for separating axis test