Precondition
Enter a precondition in the require field. A precondition clause will be added to the feature:
...
require
n >= 0
...
Enter a precondition in the require field. A precondition clause will be added to the feature:
...
require
n >= 0
...