semantic: Accept Scope and TryStatement in IR
DEV