Include file:
#include "mcrl2/pbes/rewriter.h"
Rewriters for pbes expressions.
mcrl2/pbes/rewrite.h
mcrl2/pbes/search_strategy.h
