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

  1. Choose a feature clause
  2. Type a name
  3. Select formal parameters
  4. Type a header comment
  5. Enter precondition , local variable , body and postcondition
220515f7-5c16-2648-fcad-74d3fb1583da