Extended test coverage for cross product by verifying some properties