Add backedge information