Avoiding unnecesary times operation when the unique quantifier returns the empty relation
Avoiding unnecesary times operation when the unique quantifier returns
the empty relation

ggutierrez/cprelmaster,ggutierrez/cprelmaster,ggutierrez/cprelmaster