`subopti` atoms represent `k<=max(...)`, `min(...)<=k` relations, initial commit. Merge non-recursive into recursive branches with the same premise. Simplify and eliminate atoms with non-preserved variables during single-branch disjunction elimination.