Optlang: Unify constraints