Non-deterministic state

while using Transaction_set_defs