bool negate = cond[equals-1]=='!';
string name = cond.substr(0, equals-negate);
string value = obj.config.get_option("with_"+name).value;
bool negate = cond[equals-1]=='!';
string name = cond.substr(0, equals-negate);
string value = obj.config.get_option("with_"+name).value;