Instead of developing a synthesis algorithm that will produce a program for all use cases, we propose to develop a synthesis algorithm that for all use cases, will produce a program for each use case.

Different compositions have different goals.