Contract analysis