conflict_clause_real

open fun conflict_clause_real(builder_: PsiBuilder, level_: Int): Boolean