DeclStmt is a data type for typed statements with different kinds of declarations that refer to the contained statement:

• name is the index of the name of the DeclStmt (in the Nametable)
• decL is the list of interface variable declarations (inputs, outputs, inouts)
• orcL is the list of oracles introduced by replacing nondeterminism
• lblL is the list of names of the control flow locations of the statement
• lcVL is the list of the local variable declarations
• lcNL is the list of local names used in assumptions, assertions and module calls
• stmt is a typed statement