Add missing positive checks back into goto-instrument

Author: NlightNFotis

src/goto-instrument/goto_instrument_parse_options.cpp

@@ -1026,6 +1026,7 @@ void goto_instrument_parse_optionst::instrument_goto_program()
     options.set_option("simplify", true);
 
   // all checks supported by goto_check
+  PARSE_OPTIONS_GOTO_CHECK_POSITIVE_DEFAULT_CHECKS(cmdline, options);
   PARSE_OPTIONS_GOTO_CHECK(cmdline, options);
 
   // initialize argv with valid pointers