Index: src/libcfa/concurrency/kernel.c
===================================================================
--- src/libcfa/concurrency/kernel.c	(revision dcbb03b437bf748276aed3f63bfc0ad59a474e4b)
+++ src/libcfa/concurrency/kernel.c	(revision 1f37ed02cc74c64f4e7f522e805e7b6fba4e51ee)
@@ -171,5 +171,8 @@
 		__cfaabi_dbg_print_safe("Kernel : core %p signaling termination\n", &this);
 		terminate(&this);
+		verify(this.do_terminate);
+		verify(this_processor != &this);
 		P( terminated );
+		verify(this_processor != &this);
 		pthread_join( kernel_thread, NULL );
 	}