Verification of empty list replication behaviour