On Dependent Variables in Reactive Synthesis. - S. Akshay 001; Eliyahu Basa; Supratik Chakraborty; Dror Fried (TACAS (1), 2024)