Apply predicates after cartesian product when relevant