Allows the use of System.ComponentModel.DataAnnotations.ValidationAttributes as contracts
Added return value test