public string GetClause() { return(" (" + critA.GetClause() + " " + op.ToString() + " " + critB.GetClause() + ") "); }