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