Create some objects to perform determination of the order in which variables should be synthesized in model-based synthesis.