/*******************************************************************\

Module: Subgoal Documentation

Author: Daniel Kroening, kroening@cs.cmu.edu

\*******************************************************************/

#include <iostream>

#include <goto-symex/symex_target_equation.h>

void document_subgoals(
  const symex_target_equationt &equation,
  std::ostream &out);
