Boosting trees for clause splitting | Synapse