Out: Name Type t

Out: Name Type tHead TLR

Out: Scope Name Type

Out: Scope Name Type

Out: Scope Name Type

Name Type Return Set

Out: Scope Name Type

Out: Scope Name Type

Out: Name Type iVal INT i

Out: Scope Name Type