verify_heads() needs to be aware of the branch renaming map