Enable Web Contracts in Inform