public override String ToString() { return String.Format("[BoolVariable: Label={0}, Value={1}]", Label, Value); } }