Changed all findall predicates to setof to avoid repetitions