second step remove redundances by conflicts
third step remove redundances by conflicts