Contracts for Xtend