Commiting Makefile and C files. Only implemented basic contract extraction for now