fix_backedges() can now cope with NULL backedge array