Include file:
#include "mcrl2/lps/symbolic_lts.h"
mcrl2/lps/summand.h
mcrl2/lps/symbolic_lts_bisim.h
