Added the initial matrix contracts file with a sample pre- and postcondion

@bsoetaer 
what is the result in this case? Is it 3 arrays or values, row index and col index like we discussed?