[GrowthAllowance]
  free  m_growth
  free  m
  free  Spar.m
  free  Spar1.m
  fixed f_growth_m
  fixed m_budget
  fixed theta  [growth]
  cons  m_growth ≥ theta·f_growth_m·(Spar.m + Spar1.m)
  cons  m ≥ Spar.m + Spar1.m + m_growth
  cons  m ≤ m_budget
[GrowthAllowance.Spar]
  free  m_growth
  free  m
  fixed A
  fixed f_growth_m
  fixed rho
  fixed t
  fixed theta  [growth]
  cons  m_growth ≥ theta·f_growth_m·rho·t·A
  cons  m ≥ rho·t·A + m_growth
[GrowthAllowance.Spar1]
  free  m_growth
  free  m
  fixed A
  fixed f_growth_m
  fixed rho
  fixed t
  fixed theta  [growth]
  cons  m_growth ≥ theta·f_growth_m·rho·t·A
  cons  m ≥ rho·t·A + m_growth
