Created by: wangkuiyi

Variable definition and type inference belong to Block (used to be known as NetOp) instead of Scope.