Predicate evaluation in Ronja