Assert on new logic loops in "share" pass
Do not introduce new logic loops in "share"