return false; // there is no constraint, which is specified to remove
else {
bool isEmpty = anExtraIt->first == SLVS_E_UNKNOWN;
return false; // there is no constraint, which is specified to remove
else {
bool isEmpty = anExtraIt->first == SLVS_E_UNKNOWN;