Index: tests/concurrency/examples/datingService.cfa
===================================================================
--- tests/concurrency/examples/datingService.cfa	(revision f5856ecdac84d5be49dc1daf391d628ff6fcd826)
+++ tests/concurrency/examples/datingService.cfa	(revision b6de35ec789adbc02c9c90ec2de52be7f841fd58)
@@ -10,6 +10,6 @@
 // Created On       : Mon Oct 30 12:56:20 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sun Sep 27 15:42:25 2020
-// Update Count     : 40
+// Last Modified On : Tue Nov  4 21:58:29 2025
+// Update Count     : 41
 //
 
@@ -28,5 +28,5 @@
 
 unsigned int girl( DatingService & mutex ds, unsigned int PhoneNo, unsigned int ccode ) with( ds ) {
-	if ( is_empty( Boys[ccode] ) ) {					// no compatible boy ?
+	if ( empty( Boys[ccode] ) ) {						// no compatible boy ?
 		wait( Girls[ccode] );							// wait for boy
 		GirlPhoneNo = PhoneNo;							// make phone number available
@@ -40,5 +40,5 @@
 
 unsigned int boy( DatingService & mutex ds, unsigned int PhoneNo, unsigned int ccode ) with( ds ) {
-	if ( is_empty( Girls[ccode] ) ) {					// no compatible girl ?
+	if ( empty( Girls[ccode] ) ) {						// no compatible girl ?
 		wait( Boys[ccode] );							// wait for girl
 		BoyPhoneNo = PhoneNo;							// make phone number available
Index: tests/concurrency/signal/block.cfa
===================================================================
--- tests/concurrency/signal/block.cfa	(revision f5856ecdac84d5be49dc1daf391d628ff6fcd826)
+++ tests/concurrency/signal/block.cfa	(revision b6de35ec789adbc02c9c90ec2de52be7f841fd58)
@@ -80,5 +80,5 @@
 	[a.last_thread, b.last_thread, a.last_signaller, b.last_signaller] = active_thread();
 
-	if( !is_empty( cond ) ) {
+	if( ! empty( cond ) ) {
 
 		thread$ * next = ( thread$ * ) front( cond );