Include file:
#include "mcrl2/pbes/pbes_summand_group.h"
mcrl2/pbes/pbes_solver_test.h
mcrl2/pbes/tools/pbesabsinthe.h
