Progressing. Conflict clause computing is broken