Automatic Fixing Of Programs With Contracts