Synthesis with Explicit Dependencies