pbessolve consistently segfaults in `get_sufficiently_large_postfix_index`

Open Kevinjil opened this issue 4 months ago • 1 comments

Describe the bug When running pbessolve with threading on a large PBES, it consistently segfaults in get_sufficiently_large_postfix_index. The culpit is most likely concurrent modification and iteration of unordered_set m_symbol_set.

To Reproduce Steps to reproduce the behavior, or screenshots when describing GUI issues:

Create a large PBES in /tmp/test.pbes
Run gdb --args ~/repository/mCRL2-build/stage/bin/pbessolve -rjittyc -v --threads=12 /tmp/test.pbes
See the error.

Expected behavior No crash, such as with gdb --args ~/repository/mCRL2-build/stage/bin/pbessolve -rjittyc -v --threads=1 /tmp/test.pbes.

Context

OS: Arch Linux
Toolset version: tested 202507.0 (Release), backtrace created from build at 1fe34f0496a0771d23435e445a9cc132e829b5a1

Additional context gdb backtrace:

#0  atermpp::detail::function_symbol_pool::get_sufficiently_large_postfix_index (this=this@entry=0x5555556948e0 <atermpp::detail::g_aterm_pool_storage+24>, prefix="x_113266_")
    at /home/kevin/repository/mCRL2/libraries/atermpp/source/function_symbol_pool.cpp:143
#1  0x00007ffff74a508e in atermpp::detail::function_symbol_pool::register_prefix (this=0x5555556948e0 <atermpp::detail::g_aterm_pool_storage+24>, prefix="x_113266_")
    at /home/kevin/repository/mCRL2/libraries/atermpp/source/function_symbol_pool.cpp:131
#2  0x00005555555b9b1e in atermpp::function_symbol_generator::function_symbol_generator (this=0x7fffe67f6ba0, prefix=...)
    at /home/kevin/repository/mCRL2/libraries/atermpp/include/mcrl2/atermpp/detail/aterm_pool.h:133
#3  0x0000555555660aac in mcrl2::data::enumerator_identifier_generator::enumerator_identifier_generator (this=0x7fffe67f6ba0, prefix="x_")
    at /home/kevin/repository/mCRL2/libraries/data/include/mcrl2/data/detail/enumerator_identifier_generator.h:36
#4  mcrl2::data::detail::is_enumerable<mcrl2::data::rewriter> (dataspec=..., rewr=..., sort=..., parents=empty std::__cxx11::list)
    at /home/kevin/repository/mCRL2/libraries/data/include/mcrl2/data/enumerator.h:177
#5  0x00005555555a3854 in mcrl2::data::is_enumerable<mcrl2::data::rewriter> (dataspec=..., rewr=..., sort=...) at /usr/include/c++/15.2.1/bits/stl_list.h:170
#6  0x0000555555662c0e in mcrl2::data::detail::split_enumerable_variables<mcrl2::data::rewriter, mcrl2::pbes_system::detail::enumerate_quantifiers_builder<mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> >, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> >::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::exists const&)::{lambda(mcrl2::data::variable const&)#1}>(atermpp::term_list<mcrl2::data::variable>, mcrl2::data::data_specification const&, mcrl2::data::rewriter const&, atermpp::term_list<mcrl2::data::variable>&, atermpp::term_list<mcrl2::data::variable>&, atermpp::term_list<mcrl2::data::variable>&, mcrl2::pbes_system::detail::enumerate_quantifiers_builder<mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> >, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> >::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::exists const&)::{lambda(mcrl2::data::variable const&)#1}) (variables=..., data=..., rewr=..., enumerable_variables=..., non_enumerable_variables=..., unused=..., filter=...)                                                                                           
    at /home/kevin/repository/mCRL2/libraries/data/include/mcrl2/data/detail/split_finite_variables.h:77
#7  mcrl2::pbes_system::detail::enumerate_quantifiers_builder<mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> >, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250, result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/enumerate_quantifiers_rewriter.h:190                      
#8  0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#9  0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#10 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#11 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#12 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#13 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#14 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#15 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#16 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#17 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#18 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
--Type <RET> for more, q to quit, c to continue without paging--c
#19 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#20 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#21 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#22 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#23 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#24 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#25 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#26 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#27 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#28 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#29 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#30 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#31 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#32 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#33 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#34 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#35 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#36 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#37 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#38 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#39 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#40 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#41 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#42 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#43 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#44 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#45 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#46 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#47 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#48 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#49 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#50 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#51 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#52 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#53 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#54 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#55 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#56 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#57 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#58 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#59 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#60 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#61 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#62 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#63 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#64 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#65 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#66 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#67 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#68 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#69 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#70 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#71 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#72 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#73 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#74 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#75 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#76 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#77 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#78 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#79 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#80 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#81 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#82 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#83 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#84 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#85 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#86 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#87 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#88 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#89 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#90 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#91 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#92 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#93 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#94 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#95 0x0000555555665a54 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88
#96 0x00005555556657a4 in mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > >::apply<mcrl2::pbes_system::pbes_expression> (this=0x7fffe67fb250,            
    result=..., x=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54
#97 0x0000555555663827 in mcrl2::pbes_system::enumerate_quantifiers_rewriter::operator()<mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression> > (this=0x7fffe67fb600, 
    result=..., x=..., sigma=...) at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/enumerate_quantifiers_rewriter.h:306
#98 mcrl2::pbes_system::pbesinst_lazy_algorithm::run_thread (this=this@entry=0x7fffffffc360, thread_index=<optimized out>, todo=..., number_of_active_processes=..., sigma=..., R=...)
    at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/pbesinst_lazy.h:407
#99 0x00005555555f4b78 in mcrl2::pbes_system::pbesinst_lazy_algorithm::run()::{lambda()#1}::operator()() const (__closure=0x555555deb928)
    at /home/kevin/repository/mCRL2/libraries/pbes/include/mcrl2/pbes/pbesinst_lazy.h:482
#100 0x00007ffff6ce55a4 in std::execute_native_thread_routine (__p=0x555555deb920) at /usr/src/debug/gcc/gcc/libstdc++-v3/src/c++11/thread.cc:104
#101 0x00007ffff68969cb in ?? () from /usr/lib/libc.so.6
#102 0x00007ffff691aa0c in ?? () from /usr/lib/libc.so.6

Sep 15 '25 06:09 Kevinjil

I have resolved this specific data race, but there seems to another data race in the generated jittyc code and garbage collection. So I will leave this open until that is resolved as well:

WARNING: ThreadSanitizer: data race (pid=200623)
  Write of size 8 at 0x72b800078a80 by thread T4 (mutexes: write M0, write M1):
    #0 mcrl2::utilities::detail::free_list<mcrl2::utilities::detail::bucket_list<atermpp::detail::_aterm_appl<3ul>, mcrl2::utilities::block_allocator<atermpp::detail::_aterm_appl<3ul>, 1024ul, true>>::node>::slot::next(mcrl2::utilities::detail::free_list<mcrl2::utilities::detail::bucket_list<atermpp::detail::_aterm_appl<3ul>, mcrl2::utilities::block_allocator<atermpp::detail::_aterm_appl<3ul>, 1024ul, true>>::node>::slot*) /home/mlaveaux/mCRL2/libraries/utilities/include/mcrl2/utilities/detail/free_list.h:50:45 (pbessolve+0x14bc42) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #1 mcrl2::utilities::detail::free_list<mcrl2::utilities::detail::bucket_list<atermpp::detail::_aterm_appl<3ul>, mcrl2::utilities::block_allocator<atermpp::detail::_aterm_appl<3ul>, 1024ul, true>>::node>::push_front(mcrl2::utilities::detail::free_list<mcrl2::utilities::detail::bucket_list<atermpp::detail::_aterm_appl<3ul>, mcrl2::utilities::block_allocator<atermpp::detail::_aterm_appl<3ul>, 1024ul, true>>::node>::slot&) /home/mlaveaux/mCRL2/libraries/utilities/include/mcrl2/utilities/detail/free_list.h:244:10 (pbessolve+0x14bc42)
    #2 mcrl2::utilities::memory_pool<mcrl2::utilities::detail::bucket_list<atermpp::detail::_aterm_appl<3ul>, mcrl2::utilities::block_allocator<atermpp::detail::_aterm_appl<3ul>, 1024ul, true>>::node, 1024ul, true>::deallocate(mcrl2::utilities::detail::bucket_list<atermpp::detail::_aterm_appl<3ul>, mcrl2::utilities::block_allocator<atermpp::detail::_aterm_appl<3ul>, 1024ul, true>>::node*) /home/mlaveaux/mCRL2/libraries/utilities/include/mcrl2/utilities/memory_pool.h:112:16 (pbessolve+0x14bc42)
    #3 mcrl2::utilities::block_allocator<mcrl2::utilities::detail::bucket_list<atermpp::detail::_aterm_appl<3ul>, mcrl2::utilities::block_allocator<atermpp::detail::_aterm_appl<3ul>, 1024ul, true>>::node, 1024ul, true>::deallocate(mcrl2::utilities::detail::bucket_list<atermpp::detail::_aterm_appl<3ul>, mcrl2::utilities::block_allocator<atermpp::detail::_aterm_appl<3ul>, 1024ul, true>>::node*, unsigned long) /home/mlaveaux/mCRL2/libraries/utilities/include/mcrl2/utilities/block_allocator.h:62:12 (pbessolve+0x14bc42)
    #4 std::allocator_traits<mcrl2::utilities::block_allocator<mcrl2::utilities::detail::bucket_list<atermpp::detail::_aterm_appl<3ul>, mcrl2::utilities::block_allocator<atermpp::detail::_aterm_appl<3ul>, 1024ul, true>>::node, 1024ul, true>>::deallocate(mcrl2::utilities::block_allocator<mcrl2::utilities::detail::bucket_list<atermpp::detail::_aterm_appl<3ul>, mcrl2::utilities::block_allocator<atermpp::detail::_aterm_appl<3ul>, 1024ul, true>>::node, 1024ul, true>&, mcrl2::utilities::detail::bucket_list<atermpp::detail::_aterm_appl<3ul>, mcrl2::utilities::block_allocator<atermpp::detail::_aterm_appl<3ul>, 1024ul, true>>::node*, unsigned long) /usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/alloc_traits.h:360:13 (pbessolve+0x14bc42)
    #5 mcrl2::utilities::detail::bucket_list<atermpp::detail::_aterm_appl<3ul>, mcrl2::utilities::block_allocator<atermpp::detail::_aterm_appl<3ul>, 1024ul, true>>::erase_after(mcrl2::utilities::block_allocator<mcrl2::utilities::detail::bucket_list<atermpp::detail::_aterm_appl<3ul>, mcrl2::utilities::block_allocator<atermpp::detail::_aterm_appl<3ul>, 1024ul, true>>::node, 1024ul, true>&, mcrl2::utilities::detail::bucket_list<atermpp::detail::_aterm_appl<3ul>, mcrl2::utilities::block_allocator<atermpp::detail::_aterm_appl<3ul>, 1024ul, true>>::key_iterator<true>) /home/mlaveaux/mCRL2/libraries/utilities/include/mcrl2/utilities/detail/bucket_list.h:288:5 (pbessolve+0x14bc42)
    #6 mcrl2::utilities::unordered_set<atermpp::detail::_aterm_appl<3ul>, atermpp::detail::aterm_hasher_finite<3ul>, atermpp::detail::aterm_equals_finite<3ul>, mcrl2::utilities::block_allocator<atermpp::detail::_aterm_appl<3ul>, 1024ul, true>, true, false>::erase(mcrl2::utilities::unordered_set<atermpp::detail::_aterm_appl<3ul>, atermpp::detail::aterm_hasher_finite<3ul>, atermpp::detail::aterm_equals_finite<3ul>, mcrl2::utilities::block_allocator<atermpp::detail::_aterm_appl<3ul>, 1024ul, true>, true, false>::unordered_set_iterator<mcrl2::utilities::detail::bucket_list<atermpp::detail::_aterm_appl<3ul>, mcrl2::utilities::block_allocator<atermpp::detail::_aterm_appl<3ul>, 1024ul, true>>, true>) /home/mlaveaux/mCRL2/libraries/utilities/include/mcrl2/utilities/detail/unordered_set_implementation.h:127:86 (pbessolve+0x14bc42)
    #7 atermpp::detail::aterm_pool_storage<atermpp::detail::_aterm_appl<3ul>, atermpp::detail::aterm_hasher_finite<3ul>, atermpp::detail::aterm_equals_finite<3ul>, 3ul>::destroy(mcrl2::utilities::unordered_set<atermpp::detail::_aterm_appl<3ul>, atermpp::detail::aterm_hasher_finite<3ul>, atermpp::detail::aterm_equals_finite<3ul>, mcrl2::utilities::block_allocator<atermpp::detail::_aterm_appl<3ul>, 1024ul, true>, true, false>::unordered_set_iterator<mcrl2::utilities::detail::bucket_list<atermpp::detail::_aterm_appl<3ul>, mcrl2::utilities::block_allocator<atermpp::detail::_aterm_appl<3ul>, 1024ul, true>>, true>) /home/mlaveaux/mCRL2/libraries/atermpp/include/mcrl2/atermpp/detail/aterm_pool_storage_implementation.h:399:21 (pbessolve+0x14bc42)
    #8 atermpp::detail::aterm_pool_storage<atermpp::detail::_aterm_appl<3ul>, atermpp::detail::aterm_hasher_finite<3ul>, atermpp::detail::aterm_equals_finite<3ul>, 3ul>::sweep() /home/mlaveaux/mCRL2/libraries/atermpp/include/mcrl2/atermpp/detail/aterm_pool_storage_implementation.h:318:12 (pbessolve+0x1497bd) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #9 atermpp::detail::aterm_pool::collect_impl(mcrl2::utilities::shared_mutex&) /home/mlaveaux/mCRL2/libraries/atermpp/include/mcrl2/atermpp/detail/aterm_pool_implementation.h:235:33 (pbessolve+0x147a50) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #10 atermpp::detail::aterm_pool::created_term(bool, mcrl2::utilities::shared_mutex&) /home/mlaveaux/mCRL2/libraries/atermpp/include/mcrl2/atermpp/detail/aterm_pool_implementation.h:175:7 (pbessolve+0x1f3de1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #11 void atermpp::detail::thread_aterm_pool::create_appl<mcrl2::pbes_system::pbes_expression, mcrl2::pbes_system::pbes_expression>(atermpp::aterm&, atermpp::function_symbol const&, mcrl2::pbes_system::pbes_expression const&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/atermpp/include/mcrl2/atermpp/detail/thread_aterm_pool_implementation.h:62:23 (pbessolve+0x1f3de1)
    #12 void atermpp::make_term_appl<atermpp::aterm, mcrl2::pbes_system::pbes_expression, mcrl2::pbes_system::pbes_expression>(atermpp::aterm&, atermpp::function_symbol const&, mcrl2::pbes_system::pbes_expression const&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/atermpp/include/mcrl2/atermpp/aterm.h:257:32 (pbessolve+0x209ca5) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #13 void mcrl2::pbes_system::make_and_<mcrl2::pbes_system::pbes_expression, mcrl2::pbes_system::pbes_expression>(atermpp::aterm&, mcrl2::pbes_system::pbes_expression const&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/pbes_expression.h:332:3 (pbessolve+0x209ca5)
    #14 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:81:5 (pbessolve+0x209ca5)
    #15 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #16 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #17 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #18 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #19 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #20 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #21 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #22 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #23 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #24 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #25 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #26 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #27 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #28 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #29 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #30 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #31 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #32 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #33 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #34 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #35 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #36 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #37 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #38 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #39 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #40 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #41 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #42 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #43 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #44 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #45 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #46 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #47 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #48 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #49 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #50 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #51 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #52 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #53 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #54 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #55 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #56 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #57 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #58 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #59 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #60 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #61 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #62 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #63 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #64 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #65 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #66 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #67 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #68 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #69 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #70 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #71 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #72 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #73 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #74 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #75 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #76 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #77 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #78 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #79 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #80 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #81 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #82 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #83 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #84 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #85 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #86 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #87 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #88 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #89 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #90 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #91 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #92 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #93 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #94 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #95 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #96 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #97 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #98 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #99 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #100 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #101 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #102 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #103 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #104 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #105 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #106 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #107 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #108 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #109 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #110 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #111 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #112 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #113 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #114 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #115 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #116 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #117 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #118 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #119 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #120 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #121 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #122 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #123 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #124 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #125 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #126 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #127 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #128 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #129 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #130 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #131 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #132 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #133 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #134 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #135 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #136 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #137 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #138 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:62:7 (pbessolve+0x209cf4) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #139 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #140 void mcrl2::pbes_system::enumerate_quantifiers_rewriter::operator()<mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>&) const /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/enumerate_quantifiers_rewriter.h:306:190 (pbessolve+0x1a3617) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #141 mcrl2::pbes_system::pbesinst_lazy_algorithm::run_thread(unsigned long, mcrl2::pbes_system::pbesinst_lazy_todo&, std::atomic<unsigned long>&, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>, mcrl2::pbes_system::enumerate_quantifiers_rewriter) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/pbesinst_lazy.h:407:11 (pbessolve+0x1a3617)
    #142 mcrl2::pbes_system::pbesinst_lazy_algorithm::run()::'lambda'()::operator()() const /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/pbesinst_lazy.h:482:13 (pbessolve+0x22def7) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #143 void std::__invoke_impl<void, mcrl2::pbes_system::pbesinst_lazy_algorithm::run()::'lambda'()>(std::__invoke_other, mcrl2::pbes_system::pbesinst_lazy_algorithm::run()::'lambda'()&&) /usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/invoke.h:61:14 (pbessolve+0x22de0d) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #144 std::__invoke_result<mcrl2::pbes_system::pbesinst_lazy_algorithm::run()::'lambda'()>::type std::__invoke<mcrl2::pbes_system::pbesinst_lazy_algorithm::run()::'lambda'()>(mcrl2::pbes_system::pbesinst_lazy_algorithm::run()::'lambda'()&&) /usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/invoke.h:96:14 (pbessolve+0x22de0d)
    #145 void std::thread::_Invoker<std::tuple<mcrl2::pbes_system::pbesinst_lazy_algorithm::run()::'lambda'()>>::_M_invoke<0ul>(std::_Index_tuple<0ul>) /usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/std_thread.h:292:13 (pbessolve+0x22de0d)
    #146 std::thread::_Invoker<std::tuple<mcrl2::pbes_system::pbesinst_lazy_algorithm::run()::'lambda'()>>::operator()() /usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/std_thread.h:299:11 (pbessolve+0x22de0d)
    #147 std::thread::_State_impl<std::thread::_Invoker<std::tuple<mcrl2::pbes_system::pbesinst_lazy_algorithm::run()::'lambda'()>>>::_M_run() /usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/std_thread.h:244:13 (pbessolve+0x22de0d)
    #148 execute_native_thread_routine /build/gcc-14-ig5ci0/gcc-14-14.2.0/build/x86_64-linux-gnu/libstdc++-v3/src/c++11/../../../../../src/libstdc++-v3/src/c++11/thread.cc:104:18 (libstdc++.so.6+0xecdb3) (BuildId: ca77dae775ec87540acd7218fa990c40d1c94ab1)

  Previous atomic read of size 8 at 0x72b800078a80 by thread T3:
    #0 std::__atomic_base<mcrl2::utilities::detail::bucket_list<atermpp::detail::_aterm_appl<3ul>, mcrl2::utilities::block_allocator<atermpp::detail::_aterm_appl<3ul>, 1024ul, true>>::node_base*>::load(std::memory_order) const /usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/atomic_base.h:837:9 (pbessolve+0x1e15bf) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #1 std::atomic<mcrl2::utilities::detail::bucket_list<atermpp::detail::_aterm_appl<3ul>, mcrl2::utilities::block_allocator<atermpp::detail::_aterm_appl<3ul>, 1024ul, true>>::node_base*>::load(std::memory_order) const /usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/atomic:577:21 (pbessolve+0x1e15bf)
    #2 mcrl2::utilities::detail::bucket_list<atermpp::detail::_aterm_appl<3ul>, mcrl2::utilities::block_allocator<atermpp::detail::_aterm_appl<3ul>, 1024ul, true>>::node_base::next() const /home/mlaveaux/mCRL2/libraries/utilities/include/mcrl2/utilities/detail/bucket_list.h:60:54 (pbessolve+0x1e15bf)
    #3 mcrl2::utilities::detail::bucket_list<atermpp::detail::_aterm_appl<3ul>, mcrl2::utilities::block_allocator<atermpp::detail::_aterm_appl<3ul>, 1024ul, true>>::key_iterator<true>::operator++() /home/mlaveaux/mCRL2/libraries/utilities/include/mcrl2/utilities/detail/bucket_list.h:122:40 (pbessolve+0x1e15bf)
    #4 mcrl2::utilities::unordered_set<atermpp::detail::_aterm_appl<3ul>, atermpp::detail::aterm_hasher_finite<3ul>, atermpp::detail::aterm_equals_finite<3ul>, mcrl2::utilities::block_allocator<atermpp::detail::_aterm_appl<3ul>, 1024ul, true>, true, false>::unordered_set_iterator<mcrl2::utilities::detail::bucket_list<atermpp::detail::_aterm_appl<3ul>, mcrl2::utilities::block_allocator<atermpp::detail::_aterm_appl<3ul>, 1024ul, true>>, true> mcrl2::utilities::unordered_set<atermpp::detail::_aterm_appl<3ul>, atermpp::detail::aterm_hasher_finite<3ul>, atermpp::detail::aterm_equals_finite<3ul>, mcrl2::utilities::block_allocator<atermpp::detail::_aterm_appl<3ul>, 1024ul, true>, true, false>::find_impl<atermpp::function_symbol, mcrl2::data::data_expression, mcrl2::data::data_expression, mcrl2::data::data_expression>(unsigned long, atermpp::function_symbol const&, mcrl2::data::data_expression const&, mcrl2::data::data_expression const&, mcrl2::data::data_expression const&) const /home/mlaveaux/mCRL2/libraries/utilities/include/mcrl2/utilities/detail/unordered_set_implementation.h:366:53 (pbessolve+0x1e15bf)
    #5 std::pair<mcrl2::utilities::unordered_set<atermpp::detail::_aterm_appl<3ul>, atermpp::detail::aterm_hasher_finite<3ul>, atermpp::detail::aterm_equals_finite<3ul>, mcrl2::utilities::block_allocator<atermpp::detail::_aterm_appl<3ul>, 1024ul, true>, true, false>::unordered_set_iterator<mcrl2::utilities::detail::bucket_list<atermpp::detail::_aterm_appl<3ul>, mcrl2::utilities::block_allocator<atermpp::detail::_aterm_appl<3ul>, 1024ul, true>>, true>, bool> mcrl2::utilities::unordered_set<atermpp::detail::_aterm_appl<3ul>, atermpp::detail::aterm_hasher_finite<3ul>, atermpp::detail::aterm_equals_finite<3ul>, mcrl2::utilities::block_allocator<atermpp::detail::_aterm_appl<3ul>, 1024ul, true>, true, false>::emplace<atermpp::function_symbol const&, mcrl2::data::data_expression const&, mcrl2::data::data_expression const&, mcrl2::data::data_expression const&>(atermpp::function_symbol const&, mcrl2::data::data_expression const&, mcrl2::data::data_expression const&, mcrl2::data::data_expression const&) /home/mlaveaux/mCRL2/libraries/utilities/include/mcrl2/utilities/detail/unordered_set_implementation.h:97:10 (pbessolve+0x1e15bf)
    #6 <null> <null> (jittyc_200623_41772800_4040386461.cpp.bin+0x27eb67) (BuildId: 7faa50926d05473dfa933933386bc4bd4ddb60b2)
    #7 mcrl2::data::rewriter::operator()(mcrl2::data::data_expression&, mcrl2::data::data_expression const&, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>&) const /home/mlaveaux/mCRL2/libraries/data/include/mcrl2/data/rewriter.h:223:19 (pbessolve+0x20bf8c) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #8 void mcrl2::pbes_system::detail::data_rewrite<mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>(mcrl2::data::data_expression&, mcrl2::data::data_expression const&, mcrl2::data::rewriter const&, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/data_rewriter.h:35:3 (pbessolve+0x20bf8c)
    #9 void mcrl2::pbes_system::detail::add_data_rewriter<mcrl2::pbes_system::detail::simplify_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::data::data_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/data_rewriter.h:69:5 (pbessolve+0x209599) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #10 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:612:36 (pbessolve+0x2091ec) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #11 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::or_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:88:5 (pbessolve+0x20a041) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #12 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:636:36 (pbessolve+0x2094c2) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #13 void mcrl2::pbes_system::detail::enumerate_quantifiers_builder<mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::forall const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/enumerate_quantifiers_rewriter.h:135:15 (pbessolve+0x20b0cd) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #14 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:644:36 (pbessolve+0x2094e4) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #15 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:66:5 (pbessolve+0x209b4f) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #16 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #17 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #18 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #19 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #20 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #21 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #22 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #23 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #24 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #25 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #26 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #27 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #28 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #29 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #30 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #31 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #32 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #33 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #34 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #35 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #36 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #37 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #38 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #39 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #40 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #41 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #42 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #43 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #44 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #45 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #46 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #47 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #48 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #49 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #50 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #51 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #52 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #53 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #54 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #55 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #56 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #57 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #58 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #59 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #60 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #61 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #62 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #63 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #64 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #65 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #66 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #67 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #68 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #69 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #70 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #71 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #72 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #73 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #74 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #75 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #76 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #77 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #78 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #79 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #80 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #81 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #82 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #83 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #84 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #85 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #86 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #87 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #88 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #89 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #90 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #91 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #92 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #93 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #94 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #95 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #96 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #97 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #98 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #99 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #100 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #101 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #102 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #103 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #104 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #105 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #106 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #107 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #108 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #109 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #110 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #111 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #112 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #113 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #114 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #115 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #116 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #117 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #118 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #119 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #120 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #121 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #122 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #123 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #124 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #125 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #126 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #127 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #128 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #129 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #130 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #131 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #132 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #133 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:54:5 (pbessolve+0x209a11) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #134 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #135 void mcrl2::pbes_system::detail::add_simplify<mcrl2::pbes_system::pbes_expression_builder, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::and_ const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h:62:7 (pbessolve+0x209cf4) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #136 void mcrl2::pbes_system::add_pbes_expressions<mcrl2::pbes_system::pbes_expression_builder_base, mcrl2::pbes_system::detail::apply_enumerate_builder<mcrl2::pbes_system::detail::enumerate_quantifiers_builder, mcrl2::data::rewriter, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>>::apply<mcrl2::pbes_system::pbes_expression>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/builder.h:632:36 (pbessolve+0x2094b1) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #137 void mcrl2::pbes_system::enumerate_quantifiers_rewriter::operator()<mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>>(mcrl2::pbes_system::pbes_expression&, mcrl2::pbes_system::pbes_expression const&, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>&) const /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/rewriters/enumerate_quantifiers_rewriter.h:306:190 (pbessolve+0x1a3617) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #138 mcrl2::pbes_system::pbesinst_lazy_algorithm::run_thread(unsigned long, mcrl2::pbes_system::pbesinst_lazy_todo&, std::atomic<unsigned long>&, mcrl2::data::mutable_indexed_substitution<mcrl2::data::variable, mcrl2::data::data_expression>, mcrl2::pbes_system::enumerate_quantifiers_rewriter) /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/pbesinst_lazy.h:407:11 (pbessolve+0x1a3617)
    #139 mcrl2::pbes_system::pbesinst_lazy_algorithm::run()::'lambda'()::operator()() const /home/mlaveaux/mCRL2/libraries/pbes/include/mcrl2/pbes/pbesinst_lazy.h:482:13 (pbessolve+0x22def7) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #140 void std::__invoke_impl<void, mcrl2::pbes_system::pbesinst_lazy_algorithm::run()::'lambda'()>(std::__invoke_other, mcrl2::pbes_system::pbesinst_lazy_algorithm::run()::'lambda'()&&) /usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/invoke.h:61:14 (pbessolve+0x22de0d) (BuildId: 128383e0178c9e01bd54a6d343957b5cd9cadd30)
    #141 std::__invoke_result<mcrl2::pbes_system::pbesinst_lazy_algorithm::run()::'lambda'()>::type std::__invoke<mcrl2::pbes_system::pbesinst_lazy_algorithm::run()::'lambda'()>(mcrl2::pbes_system::pbesinst_lazy_algorithm::run()::'lambda'()&&) /usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/invoke.h:96:14 (pbessolve+0x22de0d)
    #142 void std::thread::_Invoker<std::tuple<mcrl2::pbes_system::pbesinst_lazy_algorithm::run()::'lambda'()>>::_M_invoke<0ul>(std::_Index_tuple<0ul>) /usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/std_thread.h:292:13 (pbessolve+0x22de0d)
    #143 std::thread::_Invoker<std::tuple<mcrl2::pbes_system::pbesinst_lazy_algorithm::run()::'lambda'()>>::operator()() /usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/std_thread.h:299:11 (pbessolve+0x22de0d)
    #144 std::thread::_State_impl<std::thread::_Invoker<std::tuple<mcrl2::pbes_system::pbesinst_lazy_algorithm::run()::'lambda'()>>>::_M_run() /usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/std_thread.h:244:13 (pbessolve+0x22de0d)
    #145 execute_native_thread_routine /build/gcc-14-ig5ci0/gcc-14-14.2.0/build/x86_64-linux-gnu/libstdc++-v3/src/c++11/../../../../../src/libstdc++-v3/src/c++11/thread.cc:104:18 (libstdc++.so.6+0xecdb3) (BuildId: ca77dae775ec87540acd7218fa990c40d1c94ab1)

Sep 16 '25 11:09 mlaveaux