private void SimplifyChild(STElement left) { if (!leftNode.ExistsContradiction()) { leftNode.Simplify(); } }
private void SimplifyChilds(STElement left, STElement right) { if (!leftNode.ExistsContradiction()) { leftNode.Simplify(); } if (!rightNode.ExistsContradiction()) { rightNode.Simplify(); } }