working on columnar transposition with spock: Added gcontracts pre condition