Add optional source location parameter to get_nondet_bool()

Author: danpoe

src/util/nondet_bool.h

@@ -15,14 +15,17 @@ Author: Chris Smowton, [email protected]
 #include "std_expr.h"
 #include "std_types.h"
 
-/// \par parameters: Desired type (C_bool or plain bool)
+/// \param type desired type (C_bool or plain bool)
+/// \param source_location source location
 /// \return nondet expr of that type
-inline exprt get_nondet_bool(const typet &type)
+inline exprt get_nondet_bool(
+  const typet &type,
+  const source_locationt &source_location = source_locationt())
 {
   // We force this to 0 and 1 and won't consider
   // other values.
   return typecast_exprt(
-    side_effect_expr_nondett(bool_typet(), source_locationt()), type);
+    side_effect_expr_nondett(bool_typet(), source_location), type);
 }
 
 #endif // CPROVER_UTIL_NONDET_BOOL_H