Adds more tests for contracts