ProblemDeclaration

fun ProblemDeclaration(problem: String = "", type: ProblemNode.ProblemType = ProblemNode.ProblemType.TRANSLATION)