Code template for a precondition contract clause. Eiffel Software require code Optional "else" keyword that is added by the tool when working with a feature redeclaration. The literal is empty by default and is substituted with " else" programmatically.