this was already implemented as initialscope in `IR.hs`