ADD: decisionDivisibleSimple to Prog. theorems