Adding a function

Once the new feature dialog is displayed and function selected in feature type, follow the following steps:

1. Choose a feature clause
2. Type a name
3. Select formal parameters
4. Select the type
5. Type a header comment
6. Enter precondition , local variable , body and postcondition