fixed non-confluece testing in simple