Include file:
#include "mcrl2/lps/lps_summand_group.h"
mcrl2/lps/lps_rewriter_type.h
mcrl2/lps/lpsparunfoldlib.h
