reducing grounding of possible(... predicates