public LoopScope(CFGBlock entryBlock) { Preconditions.NotNull(entryBlock, "entryBlock"); this.EntryBlock = entryBlock; }