private SymbolicSolution(SymbolicSolution original, Cloner cloner) : base(original, cloner) { }
private SymbolicSolution(SymbolicSolution original, Cloner cloner) : base(original, cloner) { }
private SymbolicSolution(SymbolicSolution original, Cloner cloner) : base(original, cloner) { }
private SymbolicSolution(SymbolicSolution original, Cloner cloner) : base(original, cloner) { }