Include file:
#include "mcrl2/pbes/symbolic_pbessolve.h"
mcrl2/pbes/symbolic_parity_game.h
mcrl2/pbes/tools/complps2pbes.h
