Better code contracts validations.
All ref parameters that were semantically out were replaced.