setup {
create table p (a int) partition by list (a);
create table p1 partition of p for values in (1);
insert into p values (1);
}

session "s1"
setup 				{ begin; }
step "s1_update"	{ update p set a = a; }
step "s1_commit"	{ commit; }

session "s2"
step "s2_update"	{ with u as (update p set a = a returning p.*) update p set a = u.a from u; }

permutation "s1_update" "s2_update" "s1_commit"