use _disj in synth
common variable in loop body
style
replace trans[-1] with tmp in loop body
common vars: states, aps in sys_to_spec body