Out: Scope Name Type [...] . Input xDummy BOOL For

Type Comment Return [...] DiagnosisInfoAvailable BOOL if true

Type Comment Return [...] DiagnosisInfoAvailable BOOL if true

Type Comment Return [...] DiagnosisInfoAvailable BOOL if true

Type Comment Return [...] DiagnosisInfoAvailable BOOL if true

Type Comment Return [...] DiagnosisInfoAvailable BOOL if true

Type Comment Return [...] DiagnosisInfoAvailable BOOL if true

Type Comment Return [...] DiagnosisInfoAvailable BOOL if true

Type Comment Return [...] DiagnosisInfoAvailable BOOL if true

Type Comment Return [...] DiagnosisInfoAvailable BOOL if true