migrated away from cuttingedge.conditions to codecontracts.