construct_models function

Construct a list of models for synthesis