Design By Contract Preconditions With Expression Trees