make decomposition into smaller SAT formulas also work for */1 and +/1 syntax