Model Termination for Greener Supplier Clause