Safe

A projection is safe if it has enough buddy projections for the current K-safety level.