Cross-checking the sparsity pattern, tests pass but still incomplete,
needs further polishing