adds predicate solution