Add work inside tx in synth