first step remove redundances by conflicts