fixed backedges, loops