How to combine widening and narrowing for non-monotonic systems of equations