Predicate Extensions::build_value_function

predicate build_value_function(Function f)