UnsatBodyPost

val UnsatBodyPost: DiagnosticFactory1<PsiElement, String>