Reenabled invariants for the IBS tree