StateEnd

constructor(solution: Solution, context: PrologExecutionContext)