+ if (name == NULL || father == NULL){
+ THROWF (tracing_error, 0, "can't get a value with a NULL name (or a NULL father)");
+ }
+
+ if (father->kind == TYPE_VARIABLE)
+ THROWF(tracing_error, 0,
+ "variables can't have different values (%s)", father->name);