Add lazy function with auto inferred type

This allow to write `lazy(f)` and get the type of the object
automatically inferred from the type of `f`.

Author: romainbrenguier

src/util/lazy.h

@@ -43,4 +43,12 @@ class lazyt
   }
 };
 
+/// Delay the computation of \p fun to the next time the \c force method
+/// is called.
+template<typename valuet>
+auto lazy(std::function<valuet()> fun) -> decltype(fun())
+{
+  return lazyt<valuet>::from_fun(std::move(fun));
+}
+
 #endif // CPROVER_UTIL_LAZY_H

unit/util/lazy.cpp

@@ -16,8 +16,7 @@ SCENARIO("lazy test", "[core][util][lazy]")
     ++call_counter;
     return s.length();
   };
-  auto lazy_length =
-    lazyt<int>::from_fun([&]() { return length_with_counter("foo"); });
+  lazyt<int> lazy_length = lazy([&] { return length_with_counter("foo"); });
 
   REQUIRE(call_counter == 0);
   auto result = lazy_length.force();