generated_clause_real

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