SIMPLIFICATORS

Definition of SIMPLIFICATORS