Code contracts prototype working!