Name Type Return
Type Input uli
Type Return Register
Type Return
Out: Scope Name Type Input
Out: Scope Name Type
Type Return Analyze
