A complete workflow for:
1. source to sink
2. constraints
3. slice
4. solver