More towards getting scopes into basic blocks.