Include file:
#include "mcrl2/pbes/rewriters/pfnf_rewriter.h"
add your file description here.
mcrl2::pbes_system::pfnf_rewriter
mcrl2/pbes/tools/pbesstategraph_options.h
mcrl2/pbes/print.h
