LCOV - code coverage report

Current view: top level - data/include/mcrl2/data - abstraction.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 23 23 100.0 % Date: 2024-05-04 03:44:52 Functions: 36 461 7.8 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEENS0_15data_expressionEEEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail26enumerator_replace_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_6existsEEUlRSE_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyISF_EEvRT_RKNS0_6existsEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver17apply_assignmentsERKNS4_INS0_10assignmentEEEEUlRKS5_E_EEE5applyINS0_15data_expressionEEEvRT_RKNS0_6existsEEUlRSR_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS0_15data_expressionEEEvRT_RKSI_EUlRKS5_E_EEE5applyISI_EEvSK_RKNS0_6existsEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINSE_13state_formulaEEEvRT_RKNS0_15data_expressionEEUlRKS5_E_EEE5applyISL_EEvSK_RKNS0_6existsEEUlRSL_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_15action_formulas14action_formulaEEEvRT_RKNS0_15data_expressionEEUlRKS5_E_EEE5applyISM_EEvSL_RKNS0_6existsEEUlRSM_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_15data_expressionEEUlRKS5_E_EEE5applyISM_EEvSL_RKNS0_6existsEEUlRSM_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyINSC_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyISH_EEvRT_RKNS0_6existsEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyINSC_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyISG_EEvRT_RKNS0_6existsEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENSC_6detail37variable_data_expression_substitutionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6existsEEUlRSK_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENSC_6detail37variable_data_expression_substitutionEEEE5applyINSC_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRNS0_15data_expressionEE_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyINSC_15pres_expressionEEEvRT_RKNS0_6existsEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyISH_EEvRT_RKNS0_6existsEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyINSC_15pres_expressionEEEvRT_RKNS0_6existsEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyISG_EEvRT_RKNS0_6existsEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_3lps23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyISH_EEvRT_RKNS0_6existsEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail32if_rewrite_with_rewriter_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_6existsEEUlRSE_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail32replace_data_expressions_builderINS0_23data_expression_builderEZNSA_13construct_rhsINS_3lps6detail19unfold_data_managerEEENS0_15data_expressionERT_RNS0_24representative_generatorERKSt6vectorINSA_4ruleESaISN_EERKNS0_15sort_expressionEEUlRKSH_E0_EEE5applyISH_EEvSJ_RKNS0_6existsEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail32replace_data_expressions_builderINS0_23data_expression_builderEZNSA_13construct_rhsINS_3smt25structured_sort_functionsEEENS0_15data_expressionERT_RNS0_24representative_generatorERKSt6vectorINSA_4ruleESaISM_EERKNS0_15sort_expressionEEUlRKSG_E0_EEE5applyISG_EEvSI_RKNS0_6existsEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail38replace_constants_by_variables_builderINS_11pbes_system23data_expression_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6existsEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail38replace_constants_by_variables_builderINS_11pbes_system23data_expression_builderEEEE5applyINSC_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRNS0_15data_expressionEE_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail38replace_constants_by_variables_builderINS_3lps23data_expression_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6existsEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderINS0_6detail18if_rewrite_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6existsEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderINS0_6detail26normalize_equality_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6existsEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS0_23data_expression_builderENS0_30sequence_sequence_substitutionISt6vectorIS5_SaIS5_EENSt7__cxx114listINS0_15data_expressionESaISI_EEEEEEEE5applyISI_EEvRT_RKNS0_6existsEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS0_23data_expression_builderENS0_30sequence_sequence_substitutionISt6vectorIS5_SaIS5_EESD_INS0_15data_expressionESaISG_EEEEEEE5applyISG_EEvRT_RKNS0_6existsEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS0_23data_expression_builderENS0_32assignment_sequence_substitutionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6existsEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_21variable_substitutionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6existsEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_21variable_substitutionEEEE5applyINSB_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRNS0_15data_expressionEE_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyINSB_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyISF_EEvRT_RKNS0_6existsEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_3lps16variable_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyISF_EEvRT_RKNS0_6existsEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_3lps23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyISF_EEvRT_RKNS0_6existsEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_7process23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyISF_EEvRT_RKNS0_6existsEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS_3lps6detail25remove_parameters_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_6existsEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS_3lps6detail29replace_pattern_match_builderINS0_23data_expression_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6existsEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS_3lps6detail33replace_process_parameter_builderINSA_23data_expression_builderENSA_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyISH_EEvRT_RKNS0_6existsEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEZNS0_13add_variablesINS_4core7builderENS4_20update_apply_builderINS0_16variable_builderENS0_16map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEEE5applyISB_EEvRT_RKNS0_6existsEEUlRN7atermpp9term_listISA_EEE_ZNSM_ISB_EEvSO_SR_EUlRSB_E0_EEEvRNSS_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEZNS0_20add_sort_expressionsINS_4core7builderENS0_6detail32replace_sort_expressions_builderINS0_23sort_expression_builderEZNS0_20replace_untyped_sortINS0_15data_expressionEEET_RKSB_RKNS0_15sort_expressionEEUlSG_E_EEE5applyISA_EEvRSB_RKNS0_6existsEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSK_ISA_EEvSL_SO_EUlRSA_E0_EEEvRNSP_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_11pbes_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6existsEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_11pbes_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS7_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRNS0_15data_expressionEE0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_11pres_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6existsEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_11pres_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS7_15pres_expressionEEEvRT_RKNS0_6existsEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRNS0_15data_expressionEE0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6existsEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS7_13state_formulaEEEvRT_RKNS0_6existsEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRNS0_15data_expressionEE0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS_15action_formulas14action_formulaEEEvRT_RKNS0_6existsEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISF_EEvSH_SK_EUlRNS0_15data_expressionEE0_EEEvRNSL_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6existsEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISF_EEvSH_SK_EUlRNS0_15data_expressionEE0_EEEvRNSL_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_3lps23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6existsEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system18absinthe_algorithm32absinthe_sort_expression_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_6existsEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSA_ISB_EEvSD_SG_EUlRSB_E0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system6detail26anonymize_builder_instanceEE5applyINS0_15data_expressionEEEvRT_RKNS0_6existsEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSA_ISB_EEvSD_SG_EUlRSB_E0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system6detail26anonymize_builder_instanceEE5applyINS6_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSA_ISB_EEvSD_SG_EUlRNS0_15data_expressionEE0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_6existsEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS9_ISA_EEvSC_SF_EUlRSA_E0_EEEvRNSG_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS6_13state_formulaEEEvRT_RKNS0_6existsEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS9_ISA_EEvSC_SF_EUlRNS0_15data_expressionEE0_EEEvRNSG_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_15action_formulas14action_formulaEEEvRT_RKNS0_6existsEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS9_ISB_EEvSD_SG_EUlRNS0_15data_expressionEE0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6existsEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS9_ISB_EEvSD_SG_EUlRNS0_15data_expressionEE0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderE30replace_free_variables_builderINS0_23data_expression_builderENS0_25add_data_variable_bindingE5substEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail26enumerator_replace_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSE_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SG_EEEEEEEE5applyISG_EEvRT_RKNS0_6forallEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyISF_EEvRT_RKNS0_6forallEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver17apply_assignmentsERKNS4_INS0_10assignmentEEEEUlRKS5_E_EEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSR_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS0_15data_expressionEEEvRT_RKSI_EUlRKS5_E_EEE5applyISI_EEvSK_RKNS0_6forallEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINSE_13state_formulaEEEvRT_RKNS0_15data_expressionEEUlRKS5_E_EEE5applyISL_EEvSK_RKNS0_6forallEEUlRSL_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_15action_formulas14action_formulaEEEvRT_RKNS0_15data_expressionEEUlRKS5_E_EEE5applyISM_EEvSL_RKNS0_6forallEEUlRSM_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_15data_expressionEEUlRKS5_E_EEE5applyISM_EEvSL_RKNS0_6forallEEUlRSM_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyINSC_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyISH_EEvRT_RKNS0_6forallEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyINSC_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyISG_EEvRT_RKNS0_6forallEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENSC_6detail37variable_data_expression_substitutionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSK_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENSC_6detail37variable_data_expression_substitutionEEEE5applyINSC_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRNS0_15data_expressionEE_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyINSC_15pres_expressionEEEvRT_RKNS0_6forallEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyISH_EEvRT_RKNS0_6forallEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyINSC_15pres_expressionEEEvRT_RKNS0_6forallEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyISG_EEvRT_RKNS0_6forallEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_3lps23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyISH_EEvRT_RKNS0_6forallEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail32if_rewrite_with_rewriter_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSE_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail32replace_data_expressions_builderINS0_23data_expression_builderEZNSA_13construct_rhsINS_3lps6detail19unfold_data_managerEEENS0_15data_expressionERT_RNS0_24representative_generatorERKSt6vectorINSA_4ruleESaISN_EERKNS0_15sort_expressionEEUlRKSH_E0_EEE5applyISH_EEvSJ_RKNS0_6forallEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail32replace_data_expressions_builderINS0_23data_expression_builderEZNSA_13construct_rhsINS_3smt25structured_sort_functionsEEENS0_15data_expressionERT_RNS0_24representative_generatorERKSt6vectorINSA_4ruleESaISM_EERKNS0_15sort_expressionEEUlRKSG_E0_EEE5applyISG_EEvSI_RKNS0_6forallEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail38replace_constants_by_variables_builderINS_11pbes_system23data_expression_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail38replace_constants_by_variables_builderINS_11pbes_system23data_expression_builderEEEE5applyINSC_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRNS0_15data_expressionEE_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail38replace_constants_by_variables_builderINS_3lps23data_expression_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderI10my_builderEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderINS0_6detail18if_rewrite_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderINS0_6detail26normalize_equality_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS0_23data_expression_builderENS0_30sequence_sequence_substitutionISt6vectorIS5_SaIS5_EENSt7__cxx114listINS0_15data_expressionESaISI_EEEEEEEE5applyISI_EEvRT_RKNS0_6forallEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS0_23data_expression_builderENS0_30sequence_sequence_substitutionISt6vectorIS5_SaIS5_EESD_INS0_15data_expressionESaISG_EEEEEEE5applyISG_EEvRT_RKNS0_6forallEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS0_23data_expression_builderENS0_32assignment_sequence_substitutionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_21variable_substitutionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_21variable_substitutionEEEE5applyINSB_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRNS0_15data_expressionEE_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyINSB_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyISF_EEvRT_RKNS0_6forallEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_3lps16variable_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyISF_EEvRT_RKNS0_6forallEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_3lps23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyISF_EEvRT_RKNS0_6forallEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_7process23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyISF_EEvRT_RKNS0_6forallEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS_3lps6detail25remove_parameters_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS_3lps6detail29replace_pattern_match_builderINS0_23data_expression_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS_3lps6detail33replace_process_parameter_builderINSA_23data_expression_builderENSA_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyISH_EEvRT_RKNS0_6forallEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEZNS0_13add_variablesINS_4core7builderENS4_20update_apply_builderINS0_16variable_builderENS0_16map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEEE5applyISB_EEvRT_RKNS0_6forallEEUlRN7atermpp9term_listISA_EEE_ZNSM_ISB_EEvSO_SR_EUlRSB_E0_EEEvRNSS_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEZNS0_20add_sort_expressionsINS_4core7builderENS0_6detail32replace_sort_expressions_builderINS0_23sort_expression_builderEZNS0_20replace_untyped_sortINS0_15data_expressionEEET_RKSB_RKNS0_15sort_expressionEEUlSG_E_EEE5applyISA_EEvRSB_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSK_ISA_EEvSL_SO_EUlRSA_E0_EEEvRNSP_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_11pbes_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_11pres_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_11pres_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS7_15pres_expressionEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRNS0_15data_expressionEE0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS7_13state_formulaEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRNS0_15data_expressionEE0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS_15action_formulas14action_formulaEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISF_EEvSH_SK_EUlRNS0_15data_expressionEE0_EEEvRNSL_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISF_EEvSH_SK_EUlRNS0_15data_expressionEE0_EEEvRNSL_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_3lps23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system18absinthe_algorithm32absinthe_sort_expression_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSA_ISB_EEvSD_SG_EUlRSB_E0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system6detail26anonymize_builder_instanceEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSA_ISB_EEvSD_SG_EUlRSB_E0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system6detail26anonymize_builder_instanceEE5applyINS6_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSA_ISB_EEvSD_SG_EUlRNS0_15data_expressionEE0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS9_ISA_EEvSC_SF_EUlRSA_E0_EEEvRNSG_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS6_13state_formulaEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS9_ISA_EEvSC_SF_EUlRNS0_15data_expressionEE0_EEEvRNSG_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_15action_formulas14action_formulaEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS9_ISB_EEvSD_SG_EUlRNS0_15data_expressionEE0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS9_ISB_EEvSD_SG_EUlRNS0_15data_expressionEE0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderE30replace_free_variables_builderINS0_23data_expression_builderENS0_25add_data_variable_bindingE5substEE5applyINS0_15data_expressionEEEvRT_RKNS0_6lambdaEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail26quantifiers_inside_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_6lambdaEEUlRSE_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver17apply_assignmentsERKNS4_INS0_10assignmentEEEEUlRKS5_E_EEE5applyINS0_15data_expressionEEEvRT_RKNS0_6lambdaEEUlRSR_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS0_15data_expressionEEEvRT_RKSI_EUlRKS5_E_EEE5applyISI_EEvSK_RKNS0_6lambdaEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINSE_13state_formulaEEEvRT_RKNS0_15data_expressionEEUlRKS5_E_EEE5applyISL_EEvSK_RKNS0_6lambdaEEUlRSL_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_15action_formulas14action_formulaEEEvRT_RKNS0_15data_expressionEEUlRKS5_E_EEE5applyISM_EEvSL_RKNS0_6lambdaEEUlRSM_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_15data_expressionEEUlRKS5_E_EEE5applyISM_EEvSL_RKNS0_6lambdaEEUlRSM_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyINSC_15pbes_expressionEEEvRT_RKNS0_6lambdaEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyISH_EEvRT_RKNS0_6lambdaEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyINSC_15pbes_expressionEEEvRT_RKNS0_6lambdaEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyISG_EEvRT_RKNS0_6lambdaEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENSC_6detail37variable_data_expression_substitutionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6lambdaEEUlRSK_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENSC_6detail37variable_data_expression_substitutionEEEE5applyINSC_15pbes_expressionEEEvRT_RKNS0_6lambdaEEUlRNS0_15data_expressionEE_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyINSC_15pres_expressionEEEvRT_RKNS0_6lambdaEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyISH_EEvRT_RKNS0_6lambdaEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyINSC_15pres_expressionEEEvRT_RKNS0_6lambdaEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyISG_EEvRT_RKNS0_6lambdaEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail32if_rewrite_with_rewriter_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_6lambdaEEUlRSE_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail32replace_data_expressions_builderINS0_23data_expression_builderEZNSA_13construct_rhsINS_3lps6detail19unfold_data_managerEEENS0_15data_expressionERT_RNS0_24representative_generatorERKSt6vectorINSA_4ruleESaISN_EERKNS0_15sort_expressionEEUlRKSH_E0_EEE5applyISH_EEvSJ_RKNS0_6lambdaEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail32replace_data_expressions_builderINS0_23data_expression_builderEZNSA_13construct_rhsINS_3smt25structured_sort_functionsEEENS0_15data_expressionERT_RNS0_24representative_generatorERKSt6vectorINSA_4ruleESaISM_EERKNS0_15sort_expressionEEUlRKSG_E0_EEE5applyISG_EEvSI_RKNS0_6lambdaEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail38replace_constants_by_variables_builderINS_11pbes_system23data_expression_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6lambdaEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail38replace_constants_by_variables_builderINS_11pbes_system23data_expression_builderEEEE5applyINSC_15pbes_expressionEEEvRT_RKNS0_6lambdaEEUlRNS0_15data_expressionEE_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail38replace_constants_by_variables_builderINS_3lps23data_expression_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6lambdaEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderI10my_builderEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6lambdaEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderINS0_6detail18if_rewrite_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6lambdaEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderINS0_6detail24normalize_and_or_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6lambdaEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderINS0_6detail24simplify_rewrite_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6lambdaEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderINS0_6detail26normalize_equality_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6lambdaEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderINS0_6detail30one_point_rule_rewrite_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6lambdaEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS0_23data_expression_builderENS0_30sequence_sequence_substitutionISt6vectorIS5_SaIS5_EENSt7__cxx114listINS0_15data_expressionESaISI_EEEEEEEE5applyISI_EEvRT_RKNS0_6lambdaEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS0_23data_expression_builderENS0_30sequence_sequence_substitutionISt6vectorIS5_SaIS5_EESD_INS0_15data_expressionESaISG_EEEEEEE5applyISG_EEvRT_RKNS0_6lambdaEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS0_23data_expression_builderENS0_32assignment_sequence_substitutionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6lambdaEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_21variable_substitutionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6lambdaEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_21variable_substitutionEEEE5applyINSB_15pbes_expressionEEEvRT_RKNS0_6lambdaEEUlRNS0_15data_expressionEE_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyINSB_15pbes_expressionEEEvRT_RKNS0_6lambdaEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyISF_EEvRT_RKNS0_6lambdaEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_3lps16variable_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyISF_EEvRT_RKNS0_6lambdaEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_3lps23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyISF_EEvRT_RKNS0_6lambdaEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_7process23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyISF_EEvRT_RKNS0_6lambdaEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS_3lps6detail25remove_parameters_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_6lambdaEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS_3lps6detail29replace_pattern_match_builderINS0_23data_expression_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6lambdaEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS_3lps6detail33replace_process_parameter_builderINSA_23data_expression_builderENSA_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyISH_EEvRT_RKNS0_6lambdaEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEZNS0_13add_variablesINS_4core7builderENS4_20update_apply_builderINS0_16variable_builderENS0_16map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEEE5applyISB_EEvRT_RKNS0_6lambdaEEUlRN7atermpp9term_listISA_EEE_ZNSM_ISB_EEvSO_SR_EUlRSB_E0_EEEvRNSS_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEZNS0_20add_sort_expressionsINS_4core7builderENS0_6detail32replace_sort_expressions_builderINS0_23sort_expression_builderEZNS0_20replace_untyped_sortINS0_15data_expressionEEET_RKSB_RKNS0_15sort_expressionEEUlSG_E_EEE5applyISA_EEvRSB_RKNS0_6lambdaEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSK_ISA_EEvSL_SO_EUlRSA_E0_EEEvRNSP_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_11pbes_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6lambdaEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_11pbes_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS7_15pbes_expressionEEEvRT_RKNS0_6lambdaEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRNS0_15data_expressionEE0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_11pres_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6lambdaEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_11pres_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS7_15pres_expressionEEEvRT_RKNS0_6lambdaEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRNS0_15data_expressionEE0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6lambdaEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS7_13state_formulaEEEvRT_RKNS0_6lambdaEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRNS0_15data_expressionEE0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS_15action_formulas14action_formulaEEEvRT_RKNS0_6lambdaEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISF_EEvSH_SK_EUlRNS0_15data_expressionEE0_EEEvRNSL_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6lambdaEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISF_EEvSH_SK_EUlRNS0_15data_expressionEE0_EEEvRNSL_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_3lps23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6lambdaEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system18absinthe_algorithm32absinthe_sort_expression_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_6lambdaEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSA_ISB_EEvSD_SG_EUlRSB_E0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system6detail26anonymize_builder_instanceEE5applyINS0_15data_expressionEEEvRT_RKNS0_6lambdaEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSA_ISB_EEvSD_SG_EUlRSB_E0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system6detail26anonymize_builder_instanceEE5applyINS6_15pbes_expressionEEEvRT_RKNS0_6lambdaEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSA_ISB_EEvSD_SG_EUlRNS0_15data_expressionEE0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_6lambdaEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS9_ISA_EEvSC_SF_EUlRSA_E0_EEEvRNSG_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS6_13state_formulaEEEvRT_RKNS0_6lambdaEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS9_ISA_EEvSC_SF_EUlRNS0_15data_expressionEE0_EEEvRNSG_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_15action_formulas14action_formulaEEEvRT_RKNS0_6lambdaEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS9_ISB_EEvSD_SG_EUlRNS0_15data_expressionEE0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6lambdaEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS9_ISB_EEvSD_SG_EUlRNS0_15data_expressionEE0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderE30replace_free_variables_builderINS0_23data_expression_builderENS0_25add_data_variable_bindingE5substEE5applyINS0_15data_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail26enumerator_replace_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRSE_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail26quantifiers_inside_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRSE_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SG_EEEEEEEE5applyISG_EEvRT_RKNS0_17bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyISF_EEvRT_RKNS0_17bag_comprehensionEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver17apply_assignmentsERKNS4_INS0_10assignmentEEEEUlRKS5_E_EEE5applyINS0_15data_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRSR_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS0_15data_expressionEEEvRT_RKSI_EUlRKS5_E_EEE5applyISI_EEvSK_RKNS0_17bag_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINSE_13state_formulaEEEvRT_RKNS0_15data_expressionEEUlRKS5_E_EEE5applyISL_EEvSK_RKNS0_17bag_comprehensionEEUlRSL_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_15action_formulas14action_formulaEEEvRT_RKNS0_15data_expressionEEUlRKS5_E_EEE5applyISM_EEvSL_RKNS0_17bag_comprehensionEEUlRSM_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_15data_expressionEEUlRKS5_E_EEE5applyISM_EEvSL_RKNS0_17bag_comprehensionEEUlRSM_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyINSC_15pbes_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyISH_EEvRT_RKNS0_17bag_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyINSC_15pbes_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyISG_EEvRT_RKNS0_17bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENSC_6detail37variable_data_expression_substitutionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRSK_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENSC_6detail37variable_data_expression_substitutionEEEE5applyINSC_15pbes_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRNS0_15data_expressionEE_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyINSC_15pres_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyISH_EEvRT_RKNS0_17bag_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyINSC_15pres_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyISG_EEvRT_RKNS0_17bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_3lps23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyISH_EEvRT_RKNS0_17bag_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail32if_rewrite_with_rewriter_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRSE_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail32replace_data_expressions_builderINS0_23data_expression_builderEZNSA_13construct_rhsINS_3lps6detail19unfold_data_managerEEENS0_15data_expressionERT_RNS0_24representative_generatorERKSt6vectorINSA_4ruleESaISN_EERKNS0_15sort_expressionEEUlRKSH_E0_EEE5applyISH_EEvSJ_RKNS0_17bag_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail32replace_data_expressions_builderINS0_23data_expression_builderEZNSA_13construct_rhsINS_3smt25structured_sort_functionsEEENS0_15data_expressionERT_RNS0_24representative_generatorERKSt6vectorINSA_4ruleESaISM_EERKNS0_15sort_expressionEEUlRKSG_E0_EEE5applyISG_EEvSI_RKNS0_17bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail38replace_constants_by_variables_builderINS_11pbes_system23data_expression_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail38replace_constants_by_variables_builderINS_11pbes_system23data_expression_builderEEEE5applyINSC_15pbes_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRNS0_15data_expressionEE_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail38replace_constants_by_variables_builderINS_3lps23data_expression_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENSA_32add_capture_avoiding_replacementEKNS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SG_EEEEEEEE5applyISG_EEvRT_RKNS0_17bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENSA_32add_capture_avoiding_replacementENS0_16map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SG_EEEEEEEE5applyISG_EEvRT_RKNS0_17bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENSA_32add_capture_avoiding_replacementENS0_21variable_substitutionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENSA_32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SG_EEEEEEEE5applyISG_EEvRT_RKNS0_17bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENSA_32add_capture_avoiding_replacementENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyISF_EEvRT_RKNS0_17bag_comprehensionEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_11pbes_system23data_expression_builderENSC_6detail32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SI_EEEEEEEE5applyINSC_15pbes_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_11pbes_system23data_expression_builderENSC_6detail32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SI_EEEEEEEE5applyISI_EEvRT_RKNS0_17bag_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_11pres_system23data_expression_builderENSC_6detail32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SI_EEEEEEEE5applyINSC_15pres_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_11pres_system23data_expression_builderENSC_6detail32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SI_EEEEEEEE5applyISI_EEvRT_RKNS0_17bag_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_15action_formulas23data_expression_builderENSC_6detail32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SI_EEEEEEEE5applyINSC_14action_formulaEEEvRT_RKNS0_17bag_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_15action_formulas23data_expression_builderENSC_6detail32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SI_EEEEEEEE5applyISI_EEvRT_RKNS0_17bag_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_3lps23data_expression_builderENSC_6detail32add_capture_avoiding_replacementEKNS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SI_EEEEEEEE5applyISI_EEvRT_RKNS0_17bag_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_3lps23data_expression_builderENSC_6detail32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SI_EEEEEEEE5applyISI_EEvRT_RKNS0_17bag_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_7process23data_expression_builderENSC_6detail32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SI_EEEEEEEE5applyISI_EEvRT_RKNS0_17bag_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail71replace_capture_avoiding_variables_builder_with_an_identifier_generatorINS_3lps23data_expression_builderENSC_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SJ_EEEEEEENS0_24set_identifier_generatorEEEE5applyISJ_EEvRT_RKNS0_17bag_comprehensionEEUlRSJ_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail71replace_capture_avoiding_variables_builder_with_an_identifier_generatorINS_7process23data_expression_builderENSC_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SJ_EEEEEEENS0_24set_identifier_generatorEEEE5applyISJ_EEvRT_RKNS0_17bag_comprehensionEEUlRSJ_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderI10my_builderEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderINS0_6detail18if_rewrite_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderINS0_6detail24normalize_and_or_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderINS0_6detail24simplify_rewrite_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderINS0_6detail26normalize_equality_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderINS0_6detail30one_point_rule_rewrite_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS0_23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SE_EEEEEEEE5applyISE_EEvRT_RKNS0_17bag_comprehensionEEUlRSE_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS0_23data_expression_builderENS0_30sequence_sequence_substitutionISt6vectorIS5_SaIS5_EENSt7__cxx114listINS0_15data_expressionESaISI_EEEEEEEE5applyISI_EEvRT_RKNS0_17bag_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS0_23data_expression_builderENS0_30sequence_sequence_substitutionISt6vectorIS5_SaIS5_EESD_INS0_15data_expressionESaISG_EEEEEEE5applyISG_EEvRT_RKNS0_17bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS0_23data_expression_builderENS0_32assignment_sequence_substitutionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_21variable_substitutionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_21variable_substitutionEEEE5applyINSB_15pbes_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRNS0_15data_expressionEE_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyINSB_15pbes_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyISF_EEvRT_RKNS0_17bag_comprehensionEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_3lps16variable_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyISF_EEvRT_RKNS0_17bag_comprehensionEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_3lps23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyISF_EEvRT_RKNS0_17bag_comprehensionEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_7process23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyISF_EEvRT_RKNS0_17bag_comprehensionEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS_3lps21parunfold_replacementINSA_23data_expression_builderENSA_6detail32add_capture_avoiding_replacementEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS_3lps6detail25remove_parameters_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS_3lps6detail29replace_pattern_match_builderINS0_23data_expression_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS_3lps6detail33replace_process_parameter_builderINSA_23data_expression_builderENSA_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyISH_EEvRT_RKNS0_17bag_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEZNS0_13add_variablesINS_4core7builderENS4_20update_apply_builderINS0_16variable_builderENS0_16map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEEE5applyISB_EEvRT_RKNS0_17bag_comprehensionEEUlRN7atermpp9term_listISA_EEE_ZNSM_ISB_EEvSO_SR_EUlRSB_E0_EEEvRNSS_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS0_6detail32replace_sort_expressions_builderINS0_23sort_expression_builderEZNS0_20replace_untyped_sortINS0_15data_expressionEEET_RKSB_RKNS0_15sort_expressionEEUlSG_E_EEE5applyISA_EEvRSB_RKNS0_17bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSK_ISA_EEvSL_SO_EUlRSA_E0_EEEvRNSP_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_11pbes_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_11pbes_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS7_15pbes_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRNS0_15data_expressionEE0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_11pres_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_11pres_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS7_15pres_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRNS0_15data_expressionEE0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS7_13state_formulaEEEvRT_RKNS0_17bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRNS0_15data_expressionEE0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS_15action_formulas14action_formulaEEEvRT_RKNS0_17bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISF_EEvSH_SK_EUlRNS0_15data_expressionEE0_EEEvRNSL_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_17bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISF_EEvSH_SK_EUlRNS0_15data_expressionEE0_EEEvRNSL_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_3lps23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_7process23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system18absinthe_algorithm32absinthe_sort_expression_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSA_ISB_EEvSD_SG_EUlRSB_E0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system6detail26anonymize_builder_instanceEE5applyINS0_15data_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSA_ISB_EEvSD_SG_EUlRSB_E0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system6detail26anonymize_builder_instanceEE5applyINS6_15pbes_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSA_ISB_EEvSD_SG_EUlRNS0_15data_expressionEE0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS9_ISA_EEvSC_SF_EUlRSA_E0_EEEvRNSG_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS6_13state_formulaEEEvRT_RKNS0_17bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS9_ISA_EEvSC_SF_EUlRNS0_15data_expressionEE0_EEEvRNSG_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_15action_formulas14action_formulaEEEvRT_RKNS0_17bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS9_ISB_EEvSD_SG_EUlRNS0_15data_expressionEE0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_17bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS9_ISB_EEvSD_SG_EUlRNS0_15data_expressionEE0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderE30replace_free_variables_builderINS0_23data_expression_builderENS0_25add_data_variable_bindingE5substEE5applyINS0_15data_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail26enumerator_replace_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRSE_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail26quantifiers_inside_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRSE_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SG_EEEEEEEE5applyISG_EEvRT_RKNS0_17set_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyISF_EEvRT_RKNS0_17set_comprehensionEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver17apply_assignmentsERKNS4_INS0_10assignmentEEEEUlRKS5_E_EEE5applyINS0_15data_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRSR_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS0_15data_expressionEEEvRT_RKSI_EUlRKS5_E_EEE5applyISI_EEvSK_RKNS0_17set_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINSE_13state_formulaEEEvRT_RKNS0_15data_expressionEEUlRKS5_E_EEE5applyISL_EEvSK_RKNS0_17set_comprehensionEEUlRSL_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_15action_formulas14action_formulaEEEvRT_RKNS0_15data_expressionEEUlRKS5_E_EEE5applyISM_EEvSL_RKNS0_17set_comprehensionEEUlRSM_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_15data_expressionEEUlRKS5_E_EEE5applyISM_EEvSL_RKNS0_17set_comprehensionEEUlRSM_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyINSC_15pbes_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyISH_EEvRT_RKNS0_17set_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyINSC_15pbes_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyISG_EEvRT_RKNS0_17set_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENSC_6detail37variable_data_expression_substitutionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRSK_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENSC_6detail37variable_data_expression_substitutionEEEE5applyINSC_15pbes_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRNS0_15data_expressionEE_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyINSC_15pres_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyISH_EEvRT_RKNS0_17set_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyINSC_15pres_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyISG_EEvRT_RKNS0_17set_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_3lps23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyISH_EEvRT_RKNS0_17set_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail32if_rewrite_with_rewriter_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRSE_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail32replace_data_expressions_builderINS0_23data_expression_builderEZNSA_13construct_rhsINS_3lps6detail19unfold_data_managerEEENS0_15data_expressionERT_RNS0_24representative_generatorERKSt6vectorINSA_4ruleESaISN_EERKNS0_15sort_expressionEEUlRKSH_E0_EEE5applyISH_EEvSJ_RKNS0_17set_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail32replace_data_expressions_builderINS0_23data_expression_builderEZNSA_13construct_rhsINS_3smt25structured_sort_functionsEEENS0_15data_expressionERT_RNS0_24representative_generatorERKSt6vectorINSA_4ruleESaISM_EERKNS0_15sort_expressionEEUlRKSG_E0_EEE5applyISG_EEvSI_RKNS0_17set_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail38replace_constants_by_variables_builderINS_11pbes_system23data_expression_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail38replace_constants_by_variables_builderINS_11pbes_system23data_expression_builderEEEE5applyINSC_15pbes_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRNS0_15data_expressionEE_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail38replace_constants_by_variables_builderINS_3lps23data_expression_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENSA_32add_capture_avoiding_replacementEKNS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SG_EEEEEEEE5applyISG_EEvRT_RKNS0_17set_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENSA_32add_capture_avoiding_replacementENS0_16map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SG_EEEEEEEE5applyISG_EEvRT_RKNS0_17set_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENSA_32add_capture_avoiding_replacementENS0_21variable_substitutionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENSA_32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SG_EEEEEEEE5applyISG_EEvRT_RKNS0_17set_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENSA_32add_capture_avoiding_replacementENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyISF_EEvRT_RKNS0_17set_comprehensionEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_11pbes_system23data_expression_builderENSC_6detail32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SI_EEEEEEEE5applyINSC_15pbes_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_11pbes_system23data_expression_builderENSC_6detail32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SI_EEEEEEEE5applyISI_EEvRT_RKNS0_17set_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_11pres_system23data_expression_builderENSC_6detail32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SI_EEEEEEEE5applyINSC_15pres_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_11pres_system23data_expression_builderENSC_6detail32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SI_EEEEEEEE5applyISI_EEvRT_RKNS0_17set_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_15action_formulas23data_expression_builderENSC_6detail32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SI_EEEEEEEE5applyINSC_14action_formulaEEEvRT_RKNS0_17set_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_15action_formulas23data_expression_builderENSC_6detail32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SI_EEEEEEEE5applyISI_EEvRT_RKNS0_17set_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_3lps23data_expression_builderENSC_6detail32add_capture_avoiding_replacementEKNS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SI_EEEEEEEE5applyISI_EEvRT_RKNS0_17set_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_3lps23data_expression_builderENSC_6detail32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SI_EEEEEEEE5applyISI_EEvRT_RKNS0_17set_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_7process23data_expression_builderENSC_6detail32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SI_EEEEEEEE5applyISI_EEvRT_RKNS0_17set_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail71replace_capture_avoiding_variables_builder_with_an_identifier_generatorINS_3lps23data_expression_builderENSC_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SJ_EEEEEEENS0_24set_identifier_generatorEEEE5applyISJ_EEvRT_RKNS0_17set_comprehensionEEUlRSJ_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail71replace_capture_avoiding_variables_builder_with_an_identifier_generatorINS_7process23data_expression_builderENSC_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SJ_EEEEEEENS0_24set_identifier_generatorEEEE5applyISJ_EEvRT_RKNS0_17set_comprehensionEEUlRSJ_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderI10my_builderEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderINS0_6detail18if_rewrite_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderINS0_6detail24normalize_and_or_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderINS0_6detail24simplify_rewrite_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderINS0_6detail26normalize_equality_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderINS0_6detail30one_point_rule_rewrite_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS0_23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SE_EEEEEEEE5applyISE_EEvRT_RKNS0_17set_comprehensionEEUlRSE_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS0_23data_expression_builderENS0_30sequence_sequence_substitutionISt6vectorIS5_SaIS5_EENSt7__cxx114listINS0_15data_expressionESaISI_EEEEEEEE5applyISI_EEvRT_RKNS0_17set_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS0_23data_expression_builderENS0_30sequence_sequence_substitutionISt6vectorIS5_SaIS5_EESD_INS0_15data_expressionESaISG_EEEEEEE5applyISG_EEvRT_RKNS0_17set_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS0_23data_expression_builderENS0_32assignment_sequence_substitutionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_21variable_substitutionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_21variable_substitutionEEEE5applyINSB_15pbes_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRNS0_15data_expressionEE_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyINSB_15pbes_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyISF_EEvRT_RKNS0_17set_comprehensionEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_3lps16variable_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyISF_EEvRT_RKNS0_17set_comprehensionEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_3lps23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyISF_EEvRT_RKNS0_17set_comprehensionEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_7process23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyISF_EEvRT_RKNS0_17set_comprehensionEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS_3lps21parunfold_replacementINSA_23data_expression_builderENSA_6detail32add_capture_avoiding_replacementEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS_3lps6detail25remove_parameters_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS_3lps6detail29replace_pattern_match_builderINS0_23data_expression_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS_3lps6detail33replace_process_parameter_builderINSA_23data_expression_builderENSA_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyISH_EEvRT_RKNS0_17set_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEZNS0_13add_variablesINS_4core7builderENS4_20update_apply_builderINS0_16variable_builderENS0_16map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEEE5applyISB_EEvRT_RKNS0_17set_comprehensionEEUlRN7atermpp9term_listISA_EEE_ZNSM_ISB_EEvSO_SR_EUlRSB_E0_EEEvRNSS_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS0_6detail32replace_sort_expressions_builderINS0_23sort_expression_builderEZNS0_20replace_untyped_sortINS0_15data_expressionEEET_RKSB_RKNS0_15sort_expressionEEUlSG_E_EEE5applyISA_EEvRSB_RKNS0_17set_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSK_ISA_EEvSL_SO_EUlRSA_E0_EEEvRNSP_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_11pbes_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_11pbes_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS7_15pbes_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRNS0_15data_expressionEE0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_11pres_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_11pres_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS7_15pres_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRNS0_15data_expressionEE0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS7_13state_formulaEEEvRT_RKNS0_17set_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRNS0_15data_expressionEE0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS_15action_formulas14action_formulaEEEvRT_RKNS0_17set_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISF_EEvSH_SK_EUlRNS0_15data_expressionEE0_EEEvRNSL_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_17set_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISF_EEvSH_SK_EUlRNS0_15data_expressionEE0_EEEvRNSL_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_3lps23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_7process23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system18absinthe_algorithm32absinthe_sort_expression_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSA_ISB_EEvSD_SG_EUlRSB_E0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system6detail26anonymize_builder_instanceEE5applyINS0_15data_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSA_ISB_EEvSD_SG_EUlRSB_E0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system6detail26anonymize_builder_instanceEE5applyINS6_15pbes_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSA_ISB_EEvSD_SG_EUlRNS0_15data_expressionEE0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS9_ISA_EEvSC_SF_EUlRSA_E0_EEEvRNSG_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS6_13state_formulaEEEvRT_RKNS0_17set_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS9_ISA_EEvSC_SF_EUlRNS0_15data_expressionEE0_EEEvRNSG_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_15action_formulas14action_formulaEEEvRT_RKNS0_17set_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS9_ISB_EEvSD_SG_EUlRNS0_15data_expressionEE0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_17set_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS9_ISB_EEvSD_SG_EUlRNS0_15data_expressionEE0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderE30replace_free_variables_builderINS0_23data_expression_builderENS0_25add_data_variable_bindingE5substEE5applyINS0_15data_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail26enumerator_replace_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSE_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail26quantifiers_inside_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSE_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SG_EEEEEEEE5applyISG_EEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyISF_EEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver17apply_assignmentsERKNS4_INS0_10assignmentEEEEUlRKS5_E_EEE5applyINS0_15data_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSR_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS0_15data_expressionEEEvRT_RKSI_EUlRKS5_E_EEE5applyISI_EEvSK_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINSE_13state_formulaEEEvRT_RKNS0_15data_expressionEEUlRKS5_E_EEE5applyISL_EEvSK_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSL_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_15action_formulas14action_formulaEEEvRT_RKNS0_15data_expressionEEUlRKS5_E_EEE5applyISM_EEvSL_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSM_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_15data_expressionEEUlRKS5_E_EEE5applyISM_EEvSL_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSM_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyINSC_15pbes_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyISH_EEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyINSC_15pbes_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyISG_EEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENSC_6detail37variable_data_expression_substitutionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSK_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSC_33add_data_variable_builder_bindingENSC_6detail37variable_data_expression_substitutionEEEE5applyINSC_15pbes_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRNS0_15data_expressionEE_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyINSC_15pres_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyISH_EEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyINSC_15pres_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyISG_EEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_3lps23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyISH_EEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail32if_rewrite_with_rewriter_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSE_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail32replace_data_expressions_builderINS0_23data_expression_builderEZNSA_13construct_rhsINS_3lps6detail19unfold_data_managerEEENS0_15data_expressionERT_RNS0_24representative_generatorERKSt6vectorINSA_4ruleESaISN_EERKNS0_15sort_expressionEEUlRKSH_E0_EEE5applyISH_EEvSJ_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail32replace_data_expressions_builderINS0_23data_expression_builderEZNSA_13construct_rhsINS_3smt25structured_sort_functionsEEENS0_15data_expressionERT_RNS0_24representative_generatorERKSt6vectorINSA_4ruleESaISM_EERKNS0_15sort_expressionEEUlRKSG_E0_EEE5applyISG_EEvSI_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail38replace_constants_by_variables_builderINS_11pbes_system23data_expression_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail38replace_constants_by_variables_builderINS_11pbes_system23data_expression_builderEEEE5applyINSC_15pbes_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRNS0_15data_expressionEE_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail38replace_constants_by_variables_builderINS_3lps23data_expression_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENSA_32add_capture_avoiding_replacementEKNS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SG_EEEEEEEE5applyISG_EEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENSA_32add_capture_avoiding_replacementENS0_16map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SG_EEEEEEEE5applyISG_EEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENSA_32add_capture_avoiding_replacementENS0_21variable_substitutionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENSA_32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SG_EEEEEEEE5applyISG_EEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENSA_32add_capture_avoiding_replacementENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyISF_EEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_11pbes_system23data_expression_builderENSC_6detail32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SI_EEEEEEEE5applyINSC_15pbes_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_11pbes_system23data_expression_builderENSC_6detail32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SI_EEEEEEEE5applyISI_EEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_11pres_system23data_expression_builderENSC_6detail32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SI_EEEEEEEE5applyINSC_15pres_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_11pres_system23data_expression_builderENSC_6detail32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SI_EEEEEEEE5applyISI_EEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_15action_formulas23data_expression_builderENSC_6detail32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SI_EEEEEEEE5applyINSC_14action_formulaEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_15action_formulas23data_expression_builderENSC_6detail32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SI_EEEEEEEE5applyISI_EEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_3lps23data_expression_builderENSC_6detail32add_capture_avoiding_replacementEKNS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SI_EEEEEEEE5applyISI_EEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_3lps23data_expression_builderENSC_6detail32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SI_EEEEEEEE5applyISI_EEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_7process23data_expression_builderENSC_6detail32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SI_EEEEEEEE5applyISI_EEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail71replace_capture_avoiding_variables_builder_with_an_identifier_generatorINS_3lps23data_expression_builderENSC_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SJ_EEEEEEENS0_24set_identifier_generatorEEEE5applyISJ_EEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSJ_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail71replace_capture_avoiding_variables_builder_with_an_identifier_generatorINS_7process23data_expression_builderENSC_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SJ_EEEEEEENS0_24set_identifier_generatorEEEE5applyISJ_EEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSJ_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderI10my_builderEEE5applyINS0_15data_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderINS0_6detail18if_rewrite_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderINS0_6detail24normalize_and_or_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderINS0_6detail24simplify_rewrite_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderINS0_6detail26normalize_equality_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderINS0_6detail30one_point_rule_rewrite_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS0_23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SE_EEEEEEEE5applyISE_EEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSE_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS0_23data_expression_builderENS0_30sequence_sequence_substitutionISt6vectorIS5_SaIS5_EENSt7__cxx114listINS0_15data_expressionESaISI_EEEEEEEE5applyISI_EEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS0_23data_expression_builderENS0_30sequence_sequence_substitutionISt6vectorIS5_SaIS5_EESD_INS0_15data_expressionESaISG_EEEEEEE5applyISG_EEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS0_23data_expression_builderENS0_32assignment_sequence_substitutionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSG_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_21variable_substitutionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_21variable_substitutionEEEE5applyINSB_15pbes_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRNS0_15data_expressionEE_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyINSB_15pbes_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyISF_EEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_3lps16variable_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyISF_EEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_3lps23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyISF_EEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS_7process23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyISF_EEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS_3lps21parunfold_replacementINSA_23data_expression_builderENSA_6detail32add_capture_avoiding_replacementEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSI_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS_3lps6detail25remove_parameters_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSF_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS_3lps6detail29replace_pattern_match_builderINS0_23data_expression_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS_3lps6detail33replace_process_parameter_builderINSA_23data_expression_builderENSA_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyISH_EEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRSH_E_EEEvRNS3_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEZNS0_13add_variablesINS_4core7builderENS4_20update_apply_builderINS0_16variable_builderENS0_16map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEEE5applyISB_EEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRN7atermpp9term_listISA_EEE_ZNSM_ISB_EEvSO_SR_EUlRSB_E0_EEEvRNSS_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS0_6detail32replace_sort_expressions_builderINS0_23sort_expression_builderEZNS0_20replace_untyped_sortINS0_15data_expressionEEET_RKSB_RKNS0_15sort_expressionEEUlSG_E_EEE5applyISA_EEvRSB_RKNS0_32untyped_set_or_bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSK_ISA_EEvSL_SO_EUlRSA_E0_EEEvRNSP_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_11pbes_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_11pbes_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS7_15pbes_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRNS0_15data_expressionEE0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_11pres_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_11pres_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS7_15pres_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRNS0_15data_expressionEE0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS7_13state_formulaEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRNS0_15data_expressionEE0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS_15action_formulas14action_formulaEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISF_EEvSH_SK_EUlRNS0_15data_expressionEE0_EEEvRNSL_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISF_EEvSH_SK_EUlRNS0_15data_expressionEE0_EEEvRNSL_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_3lps23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system18absinthe_algorithm32absinthe_sort_expression_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSA_ISB_EEvSD_SG_EUlRSB_E0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system6detail26anonymize_builder_instanceEE5applyINS0_15data_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSA_ISB_EEvSD_SG_EUlRSB_E0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system6detail26anonymize_builder_instanceEE5applyINS6_15pbes_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSA_ISB_EEvSD_SG_EUlRNS0_15data_expressionEE0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS9_ISA_EEvSC_SF_EUlRSA_E0_EEEvRNSG_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS6_13state_formulaEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS9_ISA_EEvSC_SF_EUlRNS0_15data_expressionEE0_EEEvRNSG_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_15action_formulas14action_formulaEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS9_ISB_EEvSD_SG_EUlRNS0_15data_expressionEE0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS9_ISB_EEvSD_SG_EUlRNS0_15data_expressionEE0_EEEvRNSH_5atermEDpT_	0
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SG_EEEEEEEE5applyISG_EEvRT_RKNS0_6existsEEUlRSG_E_EEEvRNS3_5atermEDpT_	1
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderI10my_builderEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6existsEEUlRSF_E_EEEvRNS3_5atermEDpT_	1
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS0_23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SE_EEEEEEEE5applyISE_EEvRT_RKNS0_6forallEEUlRSE_E_EEEvRNS3_5atermEDpT_	1
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_11pbes_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS7_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRNS0_15data_expressionEE0_EEEvRNSK_5atermEDpT_	1
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SG_EEEEEEEE5applyISG_EEvRT_RKNS0_6lambdaEEUlRSG_E_EEEvRNS3_5atermEDpT_	1
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyISF_EEvRT_RKNS0_6lambdaEEUlRSF_E_EEEvRNS3_5atermEDpT_	1
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_7process23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	1
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderE30replace_free_variables_builderINS0_23data_expression_builderENS0_25add_data_variable_bindingE5substEE5applyINS0_15data_expressionEEEvRT_RKNS0_6existsEEUlRSH_E_EEEvRNS3_5atermEDpT_	2
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderINS0_6detail24normalize_and_or_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6existsEEUlRSG_E_EEEvRNS3_5atermEDpT_	2
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_13apply_builderINS0_6detail24normalize_and_or_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSG_E_EEEvRNS3_5atermEDpT_	2
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SG_EEEEEEEE5applyINS0_6lambdaEEEvRT_RKSS_EUlRSG_E_EEEvRNS3_5atermEDpT_	3
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS5_NS0_15data_expressionEEEEEE5applyINS0_6lambdaEEEvRT_RKSK_EUlRSF_E_EEEvRNS3_5atermEDpT_	3
_ZN5mcrl24data11abstractionC2ERKS1_	4
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_7process23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6existsEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	4
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_7process23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	4
_ZN5mcrl24data11abstractionC2Ev	6
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS0_23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SE_EEEEEEEE5applyISE_EEvRT_RKNS0_6existsEEUlRSE_E_EEEvRNS3_5atermEDpT_	7
_ZN5mcrl24data16make_abstractionIJNS0_39untyped_set_or_bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS0_23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_32untyped_set_or_bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSC_ISD_EEvSF_SI_EUlRSD_E0_EEEvRNSJ_5atermEDpT_	8
_ZN5mcrl24data11abstractionC2ISt6vectorINS0_8variableESaIS4_EEEERKNS0_11binder_typeERKT_RKNS0_15data_expressionEPN7atermpp19enable_if_containerISA_S4_E4typeE	11
_ZN5mcrl24data16make_abstractionIJNS0_24bag_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS0_23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17bag_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSC_ISD_EEvSF_SI_EUlRSD_E0_EEEvRNSJ_5atermEDpT_	16
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_3lps23data_expression_builderENSC_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SH_EEEEEEEE5applyISH_EEvRT_RKNS0_6lambdaEEUlRSH_E_EEEvRNS3_5atermEDpT_	18
_ZN5mcrl24data16make_abstractionIJNS0_24set_comprehension_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS0_23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_17set_comprehensionEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSC_ISD_EEvSF_SI_EUlRSD_E0_EEEvRNSJ_5atermEDpT_	25
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS_7process23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6lambdaEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSD_ISE_EEvSG_SJ_EUlRSE_E0_EEEvRNSK_5atermEDpT_	40
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEN7atermpp9term_listINS0_8variableEEENS0_15data_expressionEEEEvRNS3_5atermEDpT_	105
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS0_23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6lambdaEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSC_ISD_EEvSF_SI_EUlRSD_E0_EEEvRNSJ_5atermEDpT_	140
_ZN5mcrl24data16make_abstractionIJNS0_13exists_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS0_23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6existsEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSC_ISD_EEvSF_SI_EUlRSD_E0_EEEvRNSJ_5atermEDpT_	171
_ZN5mcrl24data16make_abstractionIJNS0_11binder_typeEN7atermpp9term_listINS0_8variableEEENS0_15data_expressionEEEEvRNS3_5atermEDpT_	276
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS8_20update_apply_builderINS0_23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS5_NS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SE_EEEEEEEE5applyISE_EEvRT_RKNS0_6lambdaEEUlRSE_E_EEEvRNS3_5atermEDpT_	801
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail26enumerator_replace_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_6lambdaEEUlRSE_E_EEEvRNS3_5atermEDpT_	1144
_ZN5mcrl24data16make_abstractionIJNS0_13lambda_binderEN7atermpp9term_listINS0_8variableEEENS0_15data_expressionEEEEvRNS3_5atermEDpT_	1919
_ZN5mcrl24data16make_abstractionIJNS0_13forall_binderEZNS0_20add_sort_expressionsINS_4core7builderENS4_20update_apply_builderINS0_23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSC_ISD_EEvSF_SI_EUlRSD_E0_EEEvRNSJ_5atermEDpT_	18972
_ZN5mcrl24data11abstractionC2ERKNS0_11binder_typeERKN7atermpp9term_listINS0_8variableEEERKNS0_15data_expressionE	26948
_ZNK5mcrl24data11abstraction16binding_operatorEv	40147
_ZNK5mcrl24data11abstraction4bodyEv	42656
_ZNK5mcrl24data11abstraction9variablesEv	44576
_ZN5mcrl24data11abstractionC2ERKN7atermpp5atermE	105409

Generated by: LCOV version 1.14