Fixed: setup_relevant_split() checked wrong clause's size.

A clause's literal is relevant if the clause's size is <= k, but we
checked whether the query's size is <= k.