update synth tests to action constraint defined as TS attribute