A statement is a single step within an action.

Multiple statements can be composed into a sequence by separating them with a semicolon (;). The semicolon is a sequential composition operator in Ivy, not a statement terminator. However, an extra semicolon is allowed before an ending brace (}) to make editing sequences of statements easier.

A statement may be one of the following:

• calls
• conditionals
• loops
• assignments to state variables
• local declared variables
• logical statements:
  
  
  
  • preconditions
  
  
  • postconditions
  
  
  • assumptions
  
  
  • assertions