void fence_pensieve(value_setst &value_sets, symbol_tablet &symbol_table, goto_functionst &goto_functions, unsigned unwinding_bound, unsigned max_po_trans, bool render_po, bool render_file, bool render_function, bool naive_mode, message_handlert &message_handler)