Formulation-support-graph