Added contract_test.cc. Added dependencies to Makefile.