Fix saturation conditions by adding more preabort conditions in the patterns