Liutyi fixed bugs in DefenceDiagram solving