Add option in quantifiers for clause splitting