DRedSOP: synthesis of a new class of regular functions