Remove 'is before' caveat test -- checkers.Std replaces the need for it.