Coloc 2: let the ConstraintCursor tell the caller which predicates succeeded
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>