Table blockscope

predicate blockscope(@stmt_block block, @functionorblock enclosing)