Fix invariant regression tests

Author: NlightNFotis

regression/invariants/driver.cpp

@@ -40,13 +40,15 @@ class structured_error_testt: public invariant_failedt
     const std::string &function,
     int line,
     const std::string &backtrace,
+    const std::string &condition,
     int code,
     const std::string &_description):
     invariant_failedt(
       file,
       function,
       line,
       backtrace,
+      condition,
       pretty_print(code, _description)),
     error_code(code),
     description(_description)