Pattern refinements to improve clause breaking