Index: src/libcfa/bits/containers.h
===================================================================
--- src/libcfa/bits/containers.h	(revision 639991aa7d6f4c4ee71eeb5078b858be58b7fa2c)
+++ src/libcfa/bits/containers.h	(revision a1a17a744695781ffbd73827d771f9063f9c11ba)
@@ -224,4 +224,5 @@
 	forall(dtype T | sized(T))
 	static inline void push_front( __dllist(T) & this, T & node ) with( this ) {
+		verify(__get);
 		if ( head ) {
 			__get( node ).next = head;
@@ -246,4 +247,5 @@
 	forall(dtype T | sized(T))
 	static inline void remove( __dllist(T) & this, T & node ) with( this ) {
+		verify(__get);
 		if ( &node == head ) {
 			if ( __get( *head ).next == head ) {