+ //check if variable is already declared
+ char *created = xbt_dict_get_or_null(declared_marks, variable);
+ if (what == INSTR_US_DECLARE){
+ if (created){
+ //already declared
+ return;
+ }else{
+ xbt_dict_set (filter, variable, xbt_strdup("1"), NULL);
+ }
+ }else{
+ if (!created){
+ //not declared, ignore
+ return;
+ }
+ }
+