Adds contracts to many methods that were missing them.