Inferring better contracts