check the predicates first, and optionally do not solve constraints directly
check the predicates first, and optionally do not solve constraints directly

babelsberg/babelsberg-r,babelsberg/babelsberg-r,babelsberg/babelsberg-r,babelsberg/babelsberg-r,babelsberg/babelsberg-r