SolveVerdict
constructor(kind: VerdictKind, why: StuckWhy?, statement: String, set: List<String> = emptyList(), members: List<String> = emptyList(), notIsolated: List<String> = emptyList(), mechanism: String? = null, candidates: List<String> = emptyList(), next: String? = null, necessary: List<String> = emptyList(), sufficient: List<String> = emptyList(), steps: List<NextStep> = emptyList())(source)