THROWF(tracing_error, 0, "variables can't have different values (%s)", father->getCname());
auto ret = father->values_.find(name);
if (ret == father->values_.end()) {
THROWF(tracing_error, 0, "variables can't have different values (%s)", father->getCname());
auto ret = father->values_.find(name);
if (ret == father->values_.end()) {