Wrongly deleted test reintroduced (fixed regression tests)

Author: Petr Bauch

src/goto-programs/set_properties.cpp

@@ -113,8 +113,9 @@ void set_properties(
     if(!it->second.is_inlined())
       set_properties(it->second.body, property_set);
 
-  throw unknown_user_input_exceptiont(
-    "property", id2string(*property_set.begin()));
+  if(!property_set.empty())
+    throw unknown_user_input_exceptiont(
+      "property", id2string(*property_set.begin()));
 }
 
 void label_properties(goto_functionst &goto_functions)