EventCompleted
EventExpr
EventKind
EventParent
EventPosted
ExprChild
ExprVariable
FailureResult
PICurrentExpr
PICurrentSubgoal
PICurrentValue
PIProcedure
PITriggeringEvent
RecordingAllEvents
SuccessResult
eventInputArguments
interruptProcedureInstance