LCOV - code coverage report

Current view: top level - modal_formula/include/mcrl2/modal_formula - builder.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 690 909 75.9 % Date: 2024-04-19 03:43:27 Functions: 354 802 44.1 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_11delay_timedE	0
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_11yaled_timedE	0
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_14const_multiplyE	0
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_18const_multiply_altE	0
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impE	0
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_3mayE	0
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_E	0
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_3sumE	0
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_E	0
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_4mustE	0
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_4not_E	0
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_4plusE	0
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_5delayE	0
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_5minusE	0
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_5true_E	0
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_5yaledE	0
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_6false_E	0
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_7infimumE	0
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_8supremumE	0
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_8variableE	0
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKS8_	0
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_11delay_timedE	3
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_11yaled_timedE	1
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_14const_multiplyE	1
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_18const_multiply_altE	1
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_2muE	117
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_2nuE	82
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impE	24
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3mayE	96
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_E	46
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3sumE	1
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_E	91
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4mustE	136
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4not_E	39
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4plusE	0
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5delayE	0
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5minusE	0
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5true_E	97
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5yaledE	0
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6existsE	8
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6false_E	38
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6forallE	19
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_7infimumE	2
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_8supremumE	1
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_8variableE	174
_ZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKSD_	1003
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_11delay_timedE	2
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_11yaled_timedE	2
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_14const_multiplyE	0
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_18const_multiply_altE	0
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_2muE	65
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_2nuE	51
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impE	14
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_3mayE	126
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_E	41
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_3sumE	0
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_E	67
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_4mustE	113
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_4not_E	73
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_4plusE	0
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_5delayE	0
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_5minusE	0
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_5true_E	90
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_5yaledE	0
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_6existsE	6
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_6false_E	46
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_6forallE	9
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_7infimumE	0
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_8supremumE	0
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_8variableE	108
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKS7_	829
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_11delay_timedE	3
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_11yaled_timedE	1
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_14const_multiplyE	1
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_18const_multiply_altE	1
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_2muE	100
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_2nuE	68
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impE	24
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3mayE	88
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_E	26
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3sumE	1
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_E	76
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4mustE	137
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4not_E	36
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4plusE	0
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5delayE	0
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5minusE	0
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5true_E	94
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5yaledE	0
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6existsE	8
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6false_E	38
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6forallE	19
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_7infimumE	2
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_8supremumE	1
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_8variableE	0
_ZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKSD_	893
_ZN5mcrl214state_formulas26state_formula_builder_baseINS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS3_15data_expressionE	0
_ZN5mcrl214state_formulas26state_formula_builder_baseINS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS3_15data_expressionE	16
_ZN5mcrl214state_formulas26state_formula_builder_baseINS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS5_EEEE5applyIS5_EEvRT_RKNS_4data15data_expressionE	0
_ZN5mcrl214state_formulas26state_formula_builder_baseINS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS4_15data_expressionE	0
_ZN5mcrl214state_formulas26state_formula_builder_baseINS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS_4data15data_expressionE	0
_ZN5mcrl214state_formulas26state_formula_builder_baseINS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS_4data15data_expressionE	2
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_17normalize_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_14const_multiplyE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_17normalize_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_18const_multiply_altE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_17normalize_builderEE5applyINS0_13state_formulaEEEvRT_RKS6_	568
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_11delay_timedE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_11yaled_timedE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_14const_multiplyE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_18const_multiply_altE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3mayE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_E	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3sumE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_E	1
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4mustE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4not_E	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4plusE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5delayE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5minusE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5true_E	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5yaledE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6existsE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6false_E	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6forallE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_7infimumE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_8supremumE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKS9_	8
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_11delay_timedE	2
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_11yaled_timedE	2
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_14const_multiplyE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_18const_multiply_altE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impE	14
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3mayE	126
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_E	41
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3sumE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_E	67
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4mustE	113
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4not_E	73
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4plusE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5delayE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5minusE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5true_E	90
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5yaledE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6existsE	6
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6false_E	46
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6forallE	9
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_7infimumE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_8supremumE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKS9_	829
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impE	24
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_E	26
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_E	76
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_5delayE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_5true_E	94
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_5yaledE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_6false_E	38
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_13state_formulaEEEvRT_RKS7_	893
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_11delay_timedE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_11yaled_timedE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_14const_multiplyE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_18const_multiply_altE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_2muE	2
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_2nuE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_3impE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_3mayE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_3or_E	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_3sumE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_4and_E	1
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_4mustE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_4not_E	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_4plusE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_5delayE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_5minusE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_5true_E	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_5yaledE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_6existsE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_6false_E	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_6forallE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_7infimumE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_8supremumE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_8variableE	2
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_S8_	5
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_11delay_timedE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_11yaled_timedE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_14const_multiplyE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_18const_multiply_altE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_2muE	1
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_2nuE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impE	1
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_E	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3sumE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_E	1
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4not_E	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4plusE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5delayE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5minusE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5true_E	6
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5yaledE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6existsE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6false_E	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6forallE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_7infimumE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_8supremumE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_8variableE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKSA_	16
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_11delay_timedE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_11yaled_timedE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_14const_multiplyE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_18const_multiply_altE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3mayE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_E	4
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3sumE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_E	1
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4mustE	2
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4not_E	4
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4plusE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5delayE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5minusE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5true_E	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5yaledE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6existsE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6false_E	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6forallE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_7infimumE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_8supremumE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKSA_	40
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_11delay_timedE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_11yaled_timedE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_14const_multiplyE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_18const_multiply_altE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_2muE	6
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_2nuE	2
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3mayE	29
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_E	12
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3sumE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_E	13
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4mustE	21
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4not_E	6
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4plusE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5delayE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5minusE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5true_E	15
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5yaledE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6existsE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6false_E	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6forallE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_7infimumE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_8supremumE	0
_ZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKSC_	153
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_14action_formulaEEEvRT_RKNS0_12multi_actionE	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_14action_formulaEEEvRT_RKNS0_2atE	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_14action_formulaEEEvRT_RKNS0_3impE	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_14action_formulaEEEvRT_RKNS0_3or_E	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_14action_formulaEEEvRT_RKNS0_4and_E	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_14action_formulaEEEvRT_RKNS0_4not_E	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_14action_formulaEEEvRT_RKNS0_5true_E	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_14action_formulaEEEvRT_RKNS0_6false_E	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_14action_formulaEEEvRT_RKS9_	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_12multi_actionE	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_14action_formulaE	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_2atE	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3impE	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3or_E	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_4and_E	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_4not_E	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_5true_E	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6false_E	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_12multi_actionE	52
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_2atE	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_3impE	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_3or_E	1
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_4and_E	2
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_4not_E	8
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_5true_E	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_6existsE	1
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_6false_E	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_6forallE	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_14action_formulaEEEvRT_RKSE_	64
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_12multi_actionE	130
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_14action_formulaE	232
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_2atE	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3impE	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3or_E	2
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_4and_E	7
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_4not_E	27
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_5true_E	60
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6existsE	1
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6false_E	2
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6forallE	3
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENS0_6detail32add_capture_avoiding_replacementENS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_12multi_actionE	9
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENS0_6detail32add_capture_avoiding_replacementENS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_2atE	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENS0_6detail32add_capture_avoiding_replacementENS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_3impE	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENS0_6detail32add_capture_avoiding_replacementENS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_3or_E	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENS0_6detail32add_capture_avoiding_replacementENS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_4and_E	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENS0_6detail32add_capture_avoiding_replacementENS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_4not_E	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENS0_6detail32add_capture_avoiding_replacementENS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_5true_E	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENS0_6detail32add_capture_avoiding_replacementENS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_6false_E	0
_ZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENS0_6detail32add_capture_avoiding_replacementENS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEEEEE5applyINS0_14action_formulaEEEvRT_RKSP_	9
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_12multi_actionE	66
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_2atE	0
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_3impE	0
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_3or_E	2
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_4and_E	4
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_4not_E	6
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_5true_E	0
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_6existsE	1
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_6false_E	0
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_6forallE	0
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_14action_formulaEEEvRT_RKS8_	79
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_12multi_actionE	146
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_14action_formulaE	239
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_2atE	0
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3impE	0
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3or_E	4
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_4and_E	9
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_4not_E	26
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_5true_E	42
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6existsE	2
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6false_E	4
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6forallE	6
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_12multi_actionE	0
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_2atE	0
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_3impE	0
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_3or_E	1
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_4and_E	2
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_4not_E	8
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_5true_E	0
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_6existsE	1
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_6false_E	0
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_6forallE	0
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_14action_formulaEEEvRT_RKSE_	66
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_12multi_actionE	0
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_14action_formulaE	230
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_2atE	0
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3impE	0
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3or_E	2
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_4and_E	7
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_4not_E	29
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_5true_E	61
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6existsE	1
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6false_E	2
_ZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6forallE	3
_ZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_12multi_actionE	0
_ZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_3impE	0
_ZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_3or_E	1
_ZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_4and_E	2
_ZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_4not_E	8
_ZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_5true_E	0
_ZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_6false_E	0
_ZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_14action_formulaEEEvRT_RKS7_	66
_ZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_12multi_actionE	0
_ZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_14action_formulaE	230
_ZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3impE	0
_ZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3or_E	2
_ZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_4and_E	7
_ZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_4not_E	29
_ZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_5true_E	61
_ZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6false_E	2
_ZN5mcrl216regular_formulas20add_data_expressionsINS_15action_formulas23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_15regular_formulaEEEvRT_RKNS0_12trans_or_nilE	0
_ZN5mcrl216regular_formulas20add_data_expressionsINS_15action_formulas23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_15regular_formulaEEEvRT_RKNS0_23untyped_regular_formulaE	0
_ZN5mcrl216regular_formulas20add_data_expressionsINS_15action_formulas23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3altE	0
_ZN5mcrl216regular_formulas20add_data_expressionsINS_15action_formulas23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3seqE	0
_ZN5mcrl216regular_formulas20add_data_expressionsINS_15action_formulas23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_15regular_formulaEEEvRT_RKNS0_5transE	0
_ZN5mcrl216regular_formulas20add_data_expressionsINS_15action_formulas23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_15regular_formulaEEEvRT_RKS9_	0
_ZN5mcrl216regular_formulas20add_data_expressionsINS_15action_formulas23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_12trans_or_nilE	2
_ZN5mcrl216regular_formulas20add_data_expressionsINS_15action_formulas23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_23untyped_regular_formulaE	0
_ZN5mcrl216regular_formulas20add_data_expressionsINS_15action_formulas23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3altE	0
_ZN5mcrl216regular_formulas20add_data_expressionsINS_15action_formulas23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3seqE	0
_ZN5mcrl216regular_formulas20add_data_expressionsINS_15action_formulas23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_5transE	0
_ZN5mcrl216regular_formulas20add_data_expressionsINS_15action_formulas23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKSE_	234
_ZN5mcrl216regular_formulas20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_12trans_or_nilE	0
_ZN5mcrl216regular_formulas20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_23untyped_regular_formulaE	0
_ZN5mcrl216regular_formulas20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3altE	0
_ZN5mcrl216regular_formulas20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3seqE	0
_ZN5mcrl216regular_formulas20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_5transE	0
_ZN5mcrl216regular_formulas20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15regular_formulaEEEvRT_RKS8_	239
_ZN5mcrl216regular_formulas20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_12trans_or_nilE	33
_ZN5mcrl216regular_formulas20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_23untyped_regular_formulaE	5
_ZN5mcrl216regular_formulas20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3altE	0
_ZN5mcrl216regular_formulas20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3seqE	0
_ZN5mcrl216regular_formulas20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_5transE	0
_ZN5mcrl216regular_formulas20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKSE_	268
_ZN5mcrl216regular_formulas28regular_formula_builder_baseINS0_6detail17typecheck_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS_4data15data_expressionE	0
_ZN5mcrl216regular_formulas31add_regular_formula_expressionsINS0_28regular_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_12trans_or_nilE	33
_ZN5mcrl216regular_formulas31add_regular_formula_expressionsINS0_28regular_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3altE	0
_ZN5mcrl216regular_formulas31add_regular_formula_expressionsINS0_28regular_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3seqE	0
_ZN5mcrl216regular_formulas31add_regular_formula_expressionsINS0_28regular_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_5transE	0
_ZN5mcrl216regular_formulas31add_regular_formula_expressionsINS0_28regular_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_15regular_formulaEEEvRT_RKS7_	268
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_11delay_timedEENKUlRNS_4data15data_expressionEE_clESG_	0
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_11yaled_timedEENKUlRNS_4data15data_expressionEE_clESG_	0
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_14const_multiplyEENKUlRNS_4data15data_expressionEE_clESG_	0
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_14const_multiplyEENKUlRS8_E0_clESE_	0
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_18const_multiply_altEENKUlRNS_4data15data_expressionEE0_clESG_	0
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_18const_multiply_altEENKUlRS8_E_clESE_	0
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impEENKUlRS8_E0_clESE_	0
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impEENKUlRS8_E_clESE_	0
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_3mayEENKUlRNS2_15regular_formulaEE_clESF_	0
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_3mayEENKUlRS8_E0_clESE_	0
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_EENKUlRS8_E0_clESE_	0
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_EENKUlRS8_E_clESE_	0
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_3sumEENKUlRS8_E_clESE_	0
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_EENKUlRS8_E0_clESE_	0
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_EENKUlRS8_E_clESE_	0
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_4mustEENKUlRNS2_15regular_formulaEE_clESF_	0
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_4mustEENKUlRS8_E0_clESE_	0
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_4not_EENKUlRS8_E_clESE_	0
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_4plusEENKUlRS8_E0_clESE_	0
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_4plusEENKUlRS8_E_clESE_	0
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_5minusEENKUlRS8_E_clESE_	0
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_7infimumEENKUlRS8_E_clESE_	0
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_8supremumEENKUlRS8_E_clESE_	0
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS0_6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_13state_formulaEEEvRT_RKNS0_8variableEENKUlRN7atermpp9term_listINS_4data15data_expressionEEEE_clESJ_	0
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_11delay_timedEENKUlRNS7_15data_expressionEE_clESK_	3
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_11yaled_timedEENKUlRNS7_15data_expressionEE_clESK_	1
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_14const_multiplyEENKUlRNS7_15data_expressionEE_clESK_	1
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_14const_multiplyEENKUlRSD_E0_clESJ_	1
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_18const_multiply_altEENKUlRNS7_15data_expressionEE0_clESK_	1
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_18const_multiply_altEENKUlRSD_E_clESJ_	1
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_2muEENKUlRN7atermpp9term_listINS7_10assignmentEEEE_clESN_	117
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_2muEENKUlRSD_E0_clESJ_	117
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_2nuEENKUlRN7atermpp9term_listINS7_10assignmentEEEE_clESN_	82
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_2nuEENKUlRSD_E0_clESJ_	82
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impEENKUlRSD_E0_clESJ_	24
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impEENKUlRSD_E_clESJ_	24
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3mayEENKUlRNS2_15regular_formulaEE_clESK_	96
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3mayEENKUlRSD_E0_clESJ_	96
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_EENKUlRSD_E0_clESJ_	46
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_EENKUlRSD_E_clESJ_	46
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3sumEENKUlRSD_E_clESJ_	1
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_EENKUlRSD_E0_clESJ_	91
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_EENKUlRSD_E_clESJ_	91
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4mustEENKUlRNS2_15regular_formulaEE_clESK_	136
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4mustEENKUlRSD_E0_clESJ_	136
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4not_EENKUlRSD_E_clESJ_	39
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4plusEENKUlRSD_E0_clESJ_	0
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4plusEENKUlRSD_E_clESJ_	0
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5minusEENKUlRSD_E_clESJ_	0
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6existsEENKUlRSD_E_clESJ_	8
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6forallEENKUlRSD_E_clESJ_	19
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_7infimumEENKUlRSD_E_clESJ_	2
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_8supremumEENKUlRSD_E_clESJ_	1
_ZZN5mcrl214state_formulas20add_data_expressionsINS_16regular_formulas23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_8variableEENKUlRN7atermpp9term_listINS7_15data_expressionEEEE_clESN_	174
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_11delay_timedEENKUlRNS_4data15data_expressionEE_clESF_	2
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_11yaled_timedEENKUlRNS_4data15data_expressionEE_clESF_	2
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_14const_multiplyEENKUlRNS_4data15data_expressionEE_clESF_	0
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_14const_multiplyEENKUlRS7_E0_clESD_	0
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_18const_multiply_altEENKUlRNS_4data15data_expressionEE0_clESF_	0
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_18const_multiply_altEENKUlRS7_E_clESD_	0
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_2muEENKUlRN7atermpp9term_listINS_4data10assignmentEEEE_clESI_	65
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_2muEENKUlRS7_E0_clESD_	65
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_2nuEENKUlRN7atermpp9term_listINS_4data10assignmentEEEE_clESI_	51
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_2nuEENKUlRS7_E0_clESD_	51
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impEENKUlRS7_E0_clESD_	14
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impEENKUlRS7_E_clESD_	14
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_3mayEENKUlRNS2_15regular_formulaEE_clESE_	126
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_3mayEENKUlRS7_E0_clESD_	126
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_EENKUlRS7_E0_clESD_	41
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_EENKUlRS7_E_clESD_	41
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_3sumEENKUlRN7atermpp9term_listINS_4data8variableEEEE_clESI_	0
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_3sumEENKUlRS7_E0_clESD_	0
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_EENKUlRS7_E0_clESD_	67
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_EENKUlRS7_E_clESD_	67
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_4mustEENKUlRNS2_15regular_formulaEE_clESE_	113
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_4mustEENKUlRS7_E0_clESD_	113
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_4not_EENKUlRS7_E_clESD_	73
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_4plusEENKUlRS7_E0_clESD_	0
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_4plusEENKUlRS7_E_clESD_	0
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_5minusEENKUlRS7_E_clESD_	0
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_6existsEENKUlRN7atermpp9term_listINS_4data8variableEEEE_clESI_	6
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_6existsEENKUlRS7_E0_clESD_	6
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_6forallEENKUlRN7atermpp9term_listINS_4data8variableEEEE_clESI_	9
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_6forallEENKUlRS7_E0_clESD_	9
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_7infimumEENKUlRN7atermpp9term_listINS_4data8variableEEEE_clESI_	0
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_7infimumEENKUlRS7_E0_clESD_	0
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_8supremumEENKUlRN7atermpp9term_listINS_4data8variableEEEE_clESI_	0
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_8supremumEENKUlRS7_E0_clESD_	0
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS0_37state_formula_variable_rename_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_8variableEENKUlRN7atermpp9term_listINS_4data15data_expressionEEEE_clESI_	108
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_11delay_timedEENKUlRNS7_15data_expressionEE_clESK_	3
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_11yaled_timedEENKUlRNS7_15data_expressionEE_clESK_	1
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_14const_multiplyEENKUlRNS7_15data_expressionEE_clESK_	1
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_14const_multiplyEENKUlRSD_E0_clESJ_	1
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_18const_multiply_altEENKUlRNS7_15data_expressionEE0_clESK_	1
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_18const_multiply_altEENKUlRSD_E_clESJ_	1
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_2muEENKUlRN7atermpp9term_listINS7_10assignmentEEEE_clESN_	100
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_2muEENKUlRSD_E0_clESJ_	100
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_2nuEENKUlRN7atermpp9term_listINS7_10assignmentEEEE_clESN_	68
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_2nuEENKUlRSD_E0_clESJ_	68
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impEENKUlRSD_E0_clESJ_	24
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impEENKUlRSD_E_clESJ_	24
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3mayEENKUlRNS2_15regular_formulaEE_clESK_	88
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3mayEENKUlRSD_E0_clESJ_	88
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_EENKUlRSD_E0_clESJ_	26
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_EENKUlRSD_E_clESJ_	26
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3sumEENKUlRN7atermpp9term_listINS7_8variableEEEE_clESN_	1
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3sumEENKUlRSD_E0_clESJ_	1
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_EENKUlRSD_E0_clESJ_	76
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_EENKUlRSD_E_clESJ_	76
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4mustEENKUlRNS2_15regular_formulaEE_clESK_	137
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4mustEENKUlRSD_E0_clESJ_	137
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4not_EENKUlRSD_E_clESJ_	36
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4plusEENKUlRSD_E0_clESJ_	0
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4plusEENKUlRSD_E_clESJ_	0
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5minusEENKUlRSD_E_clESJ_	0
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6existsEENKUlRN7atermpp9term_listINS7_8variableEEEE_clESN_	8
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6existsEENKUlRSD_E0_clESJ_	8
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6forallEENKUlRN7atermpp9term_listINS7_8variableEEEE_clESN_	19
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6forallEENKUlRSD_E0_clESJ_	19
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_7infimumEENKUlRN7atermpp9term_listINS7_8variableEEEE_clESN_	2
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_7infimumEENKUlRSD_E0_clESJ_	2
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_8supremumEENKUlRN7atermpp9term_listINS7_8variableEEEE_clESN_	1
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_8supremumEENKUlRSD_E0_clESJ_	1
_ZZN5mcrl214state_formulas20add_sort_expressionsINS_16regular_formulas23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_8variableEENKUlRN7atermpp9term_listINS7_15data_expressionEEEE_clESN_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_17normalize_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_14const_multiplyEENKUlRS6_E_clESC_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_17normalize_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_18const_multiply_altEENKUlRS6_E_clESC_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_14const_multiplyEENKUlRS9_E_clESF_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_18const_multiply_altEENKUlRS9_E_clESF_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impEENKUlRS9_E0_clESF_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impEENKUlRS9_E_clESF_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3mayEENKUlRS9_E_clESF_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_EENKUlRS9_E0_clESF_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_EENKUlRS9_E_clESF_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3sumEENKUlRS9_E_clESF_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_EENKUlRS9_E0_clESF_	1
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_EENKUlRS9_E_clESF_	1
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4mustEENKUlRS9_E_clESF_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4not_EENKUlRS9_E_clESF_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4plusEENKUlRS9_E0_clESF_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4plusEENKUlRS9_E_clESF_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5minusEENKUlRS9_E_clESF_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6existsEENKUlRS9_E_clESF_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6forallEENKUlRS9_E_clESF_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_7infimumEENKUlRS9_E_clESF_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_8supremumEENKUlRS9_E_clESF_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_14const_multiplyEENKUlRS9_E_clESF_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_18const_multiply_altEENKUlRS9_E_clESF_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impEENKUlRS9_E0_clESF_	14
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impEENKUlRS9_E_clESF_	14
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3mayEENKUlRS9_E_clESF_	126
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_EENKUlRS9_E0_clESF_	41
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_EENKUlRS9_E_clESF_	41
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3sumEENKUlRS9_E_clESF_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_EENKUlRS9_E0_clESF_	67
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_EENKUlRS9_E_clESF_	67
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4mustEENKUlRS9_E_clESF_	113
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4not_EENKUlRS9_E_clESF_	73
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4plusEENKUlRS9_E0_clESF_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4plusEENKUlRS9_E_clESF_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5minusEENKUlRS9_E_clESF_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6existsEENKUlRS9_E_clESF_	6
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6forallEENKUlRS9_E_clESF_	9
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_7infimumEENKUlRS9_E_clESF_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_47state_formula_predicate_variable_rename_builderINS_4data24xyz_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_8supremumEENKUlRS9_E_clESF_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impEENKUlRS7_E0_clESD_	24
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impEENKUlRS7_E_clESD_	24
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_EENKUlRS7_E0_clESD_	26
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_EENKUlRS7_E_clESD_	26
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_EENKUlRS7_E0_clESD_	76
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_EENKUlRS7_E_clESD_	76
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_14const_multiplyEENKUlRS6_E_clESJ_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_18const_multiply_altEENKUlRS6_E_clESJ_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_2muEENKUlRS6_E_clESJ_	2
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_2nuEENKUlRS6_E_clESJ_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_3impEENKUlRS6_E0_clESJ_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_3impEENKUlRS6_E_clESJ_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_3mayEENKUlRS6_E_clESJ_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_3or_EENKUlRS6_E0_clESJ_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_3or_EENKUlRS6_E_clESJ_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_3sumEENKUlRS6_E_clESJ_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_4and_EENKUlRS6_E0_clESJ_	1
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_4and_EENKUlRS6_E_clESJ_	1
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_4mustEENKUlRS6_E_clESJ_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_4not_EENKUlRS6_E_clESJ_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_4plusEENKUlRS6_E0_clESJ_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_4plusEENKUlRS6_E_clESJ_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_5minusEENKUlRS6_E_clESJ_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_6existsEENKUlRS6_E_clESJ_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_6forallEENKUlRS6_E_clESJ_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_7infimumEENKUlRS6_E_clESJ_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail33substitute_state_formulas_builderINS0_21state_formula_builderEPFNS0_13state_formulaERKS6_EEEE5applyIS6_EEvRT_RKNS0_8supremumEENKUlRS6_E_clESJ_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_14const_multiplyEENKUlRSA_E_clESG_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_18const_multiply_altEENKUlRSA_E_clESG_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_2muEENKUlRSA_E_clESG_	1
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_2nuEENKUlRSA_E_clESG_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impEENKUlRSA_E0_clESG_	1
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impEENKUlRSA_E_clESG_	1
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_EENKUlRSA_E0_clESG_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_EENKUlRSA_E_clESG_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3sumEENKUlRSA_E_clESG_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_EENKUlRSA_E0_clESG_	1
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_EENKUlRSA_E_clESG_	1
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4not_EENKUlRSA_E_clESG_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4plusEENKUlRSA_E0_clESG_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4plusEENKUlRSA_E_clESG_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5minusEENKUlRSA_E_clESG_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6existsEENKUlRSA_E_clESG_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6forallEENKUlRSA_E_clESG_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_7infimumEENKUlRSA_E_clESG_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS0_6detail55state_formula_preprocess_nested_modal_operators_builderINS_4data24set_identifier_generatorEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_8supremumEENKUlRSA_E_clESG_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_14const_multiplyEENKUlRSA_E_clESG_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_18const_multiply_altEENKUlRSA_E_clESG_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impEENKUlRSA_E0_clESG_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impEENKUlRSA_E_clESG_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3mayEENKUlRSA_E_clESG_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_EENKUlRSA_E0_clESG_	4
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_EENKUlRSA_E_clESG_	4
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3sumEENKUlRSA_E_clESG_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_EENKUlRSA_E0_clESG_	1
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_EENKUlRSA_E_clESG_	1
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4mustEENKUlRSA_E_clESG_	2
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4not_EENKUlRSA_E_clESG_	4
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4plusEENKUlRSA_E0_clESG_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4plusEENKUlRSA_E_clESG_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5minusEENKUlRSA_E_clESG_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6existsEENKUlRSA_E_clESG_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6forallEENKUlRSA_E_clESG_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_7infimumEENKUlRSA_E_clESG_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core13apply_builderINS0_6detail34state_variable_name_clash_resolverEEEE5applyINS0_13state_formulaEEEvRT_RKNS0_8supremumEENKUlRSA_E_clESG_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_14const_multiplyEENKUlRSC_E_clESI_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_18const_multiply_altEENKUlRSC_E_clESI_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_2muEENKUlRSC_E_clESI_	6
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_2nuEENKUlRSC_E_clESI_	2
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impEENKUlRSC_E0_clESI_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3impEENKUlRSC_E_clESI_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3mayEENKUlRSC_E_clESI_	29
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_EENKUlRSC_E0_clESI_	12
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3or_EENKUlRSC_E_clESI_	12
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_3sumEENKUlRSC_E_clESI_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_EENKUlRSC_E0_clESI_	13
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4and_EENKUlRSC_E_clESI_	13
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4mustEENKUlRSC_E_clESI_	21
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4not_EENKUlRSC_E_clESI_	6
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4plusEENKUlRSC_E0_clESI_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_4plusEENKUlRSC_E_clESI_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_5minusEENKUlRSC_E_clESI_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6existsEENKUlRSC_E_clESI_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_6forallEENKUlRSC_E_clESI_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_7infimumEENKUlRSC_E_clESI_	0
_ZZN5mcrl214state_formulas29add_state_formula_expressionsINS0_26state_formula_builder_baseENS_4core18apply_builder_arg2INS0_6detail22state_variable_negatorEN7atermpp12aterm_stringEbEEE5applyINS0_13state_formulaEEEvRT_RKNS0_8supremumEENKUlRSC_E_clESI_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_14action_formulaEEEvRT_RKNS0_12multi_actionEENKUlRN7atermpp9term_listINS_7process6actionEEEE_clESK_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_14action_formulaEEEvRT_RKNS0_2atEENKUlRNS_4data15data_expressionEE0_clESH_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_14action_formulaEEEvRT_RKNS0_2atEENKUlRS9_E_clESF_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_14action_formulaEEEvRT_RKNS0_3impEENKUlRS9_E0_clESF_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_14action_formulaEEEvRT_RKNS0_3impEENKUlRS9_E_clESF_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_14action_formulaEEEvRT_RKNS0_3or_EENKUlRS9_E0_clESF_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_14action_formulaEEEvRT_RKNS0_3or_EENKUlRS9_E_clESF_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_14action_formulaEEEvRT_RKNS0_4and_EENKUlRS9_E0_clESF_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_14action_formulaEEEvRT_RKNS0_4and_EENKUlRS9_E_clESF_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_14action_formulaEEEvRT_RKNS0_4not_EENKUlRS9_E_clESF_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_12multi_actionEENKUlRN7atermpp9term_listINS_7process6actionEEEE_clESL_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_2atEENKUlRNS0_14action_formulaEE_clESH_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_2atEENKUlRNS_4data15data_expressionEE0_clESI_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3impEENKUlRNS0_14action_formulaEE0_clESH_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3impEENKUlRNS0_14action_formulaEE_clESH_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3or_EENKUlRNS0_14action_formulaEE0_clESH_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3or_EENKUlRNS0_14action_formulaEE_clESH_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_4and_EENKUlRNS0_14action_formulaEE0_clESH_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_4and_EENKUlRNS0_14action_formulaEE_clESH_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_4not_EENKUlRNS0_14action_formulaEE_clESH_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_12multi_actionEENKUlRN7atermpp9term_listINS_7process6actionEEEE_clESP_	52
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_2atEENKUlRNS8_15data_expressionEE0_clESL_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_2atEENKUlRSE_E_clESK_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_3impEENKUlRSE_E0_clESK_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_3impEENKUlRSE_E_clESK_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_3or_EENKUlRSE_E0_clESK_	1
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_3or_EENKUlRSE_E_clESK_	1
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_4and_EENKUlRSE_E0_clESK_	2
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_4and_EENKUlRSE_E_clESK_	2
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_4not_EENKUlRSE_E_clESK_	8
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_6existsEENKUlRSE_E_clESK_	1
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_6forallEENKUlRSE_E_clESK_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_12multi_actionEENKUlRN7atermpp9term_listINS_7process6actionEEEE_clESQ_	130
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_2atEENKUlRNS0_14action_formulaEE_clESM_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_2atEENKUlRNS8_15data_expressionEE0_clESM_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3impEENKUlRNS0_14action_formulaEE0_clESM_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3impEENKUlRNS0_14action_formulaEE_clESM_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3or_EENKUlRNS0_14action_formulaEE0_clESM_	2
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3or_EENKUlRNS0_14action_formulaEE_clESM_	2
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_4and_EENKUlRNS0_14action_formulaEE0_clESM_	7
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_4and_EENKUlRNS0_14action_formulaEE_clESM_	7
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_4not_EENKUlRNS0_14action_formulaEE_clESM_	27
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6existsEENKUlRNS0_14action_formulaEE_clESM_	1
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6forallEENKUlRNS0_14action_formulaEE_clESM_	3
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENS0_6detail32add_capture_avoiding_replacementENS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_12multi_actionEENKUlRN7atermpp9term_listINS_7process6actionEEEE_clES10_	9
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENS0_6detail32add_capture_avoiding_replacementENS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_2atEENKUlRSD_E0_clESV_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENS0_6detail32add_capture_avoiding_replacementENS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_2atEENKUlRSP_E_clESV_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENS0_6detail32add_capture_avoiding_replacementENS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_3impEENKUlRSP_E0_clESV_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENS0_6detail32add_capture_avoiding_replacementENS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_3impEENKUlRSP_E_clESV_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENS0_6detail32add_capture_avoiding_replacementENS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_3or_EENKUlRSP_E0_clESV_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENS0_6detail32add_capture_avoiding_replacementENS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_3or_EENKUlRSP_E_clESV_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENS0_6detail32add_capture_avoiding_replacementENS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_4and_EENKUlRSP_E0_clESV_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENS0_6detail32add_capture_avoiding_replacementENS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_4and_EENKUlRSP_E_clESV_	0
_ZZN5mcrl215action_formulas20add_data_expressionsINS_3lps23data_expression_builderENS_4data6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENS0_6detail32add_capture_avoiding_replacementENS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_4not_EENKUlRSP_E_clESV_	0
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_12multi_actionEENKUlRN7atermpp9term_listINS_7process6actionEEEE_clESJ_	66
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_2atEENKUlRNS_4data15data_expressionEE0_clESG_	0
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_2atEENKUlRS8_E_clESE_	0
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_3impEENKUlRS8_E0_clESE_	0
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_3impEENKUlRS8_E_clESE_	0
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_3or_EENKUlRS8_E0_clESE_	2
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_3or_EENKUlRS8_E_clESE_	2
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_4and_EENKUlRS8_E0_clESE_	4
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_4and_EENKUlRS8_E_clESE_	4
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_4not_EENKUlRS8_E_clESE_	6
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_6existsEENKUlRN7atermpp9term_listINS_4data8variableEEEE_clESJ_	1
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_6existsEENKUlRS8_E0_clESE_	1
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_6forallEENKUlRN7atermpp9term_listINS_4data8variableEEEE_clESJ_	0
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_6forallEENKUlRS8_E0_clESE_	0
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_12multi_actionEENKUlRN7atermpp9term_listINS_7process6actionEEEE_clESK_	146
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_2atEENKUlRNS0_14action_formulaEE_clESG_	0
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_2atEENKUlRNS_4data15data_expressionEE0_clESH_	0
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3impEENKUlRNS0_14action_formulaEE0_clESG_	0
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3impEENKUlRNS0_14action_formulaEE_clESG_	0
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3or_EENKUlRNS0_14action_formulaEE0_clESG_	4
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3or_EENKUlRNS0_14action_formulaEE_clESG_	4
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_4and_EENKUlRNS0_14action_formulaEE0_clESG_	9
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_4and_EENKUlRNS0_14action_formulaEE_clESG_	9
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_4not_EENKUlRNS0_14action_formulaEE_clESG_	26
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6existsEENKUlRN7atermpp9term_listINS_4data8variableEEEE_clESK_	2
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6existsEENKUlRNS0_14action_formulaEE0_clESG_	2
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6forallEENKUlRN7atermpp9term_listINS_4data8variableEEEE_clESK_	6
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6forallEENKUlRNS0_14action_formulaEE0_clESG_	6
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_12multi_actionEENKUlRN7atermpp9term_listINS_7process6actionEEEE_clESP_	0
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_2atEENKUlRNS8_15data_expressionEE0_clESL_	0
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_2atEENKUlRSE_E_clESK_	0
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_3impEENKUlRSE_E0_clESK_	0
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_3impEENKUlRSE_E_clESK_	0
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_3or_EENKUlRSE_E0_clESK_	1
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_3or_EENKUlRSE_E_clESK_	1
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_4and_EENKUlRSE_E0_clESK_	2
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_4and_EENKUlRSE_E_clESK_	2
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_4not_EENKUlRSE_E_clESK_	8
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_6existsEENKUlRN7atermpp9term_listINS8_8variableEEEE_clESO_	1
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_6existsEENKUlRSE_E0_clESK_	1
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_6forallEENKUlRN7atermpp9term_listINS8_8variableEEEE_clESO_	0
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_14action_formulaEEEvRT_RKNS0_6forallEENKUlRSE_E0_clESK_	0
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_12multi_actionEENKUlRN7atermpp9term_listINS_7process6actionEEEE_clESQ_	0
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_2atEENKUlRNS0_14action_formulaEE_clESM_	0
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_2atEENKUlRNS8_15data_expressionEE0_clESM_	0
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3impEENKUlRNS0_14action_formulaEE0_clESM_	0
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3impEENKUlRNS0_14action_formulaEE_clESM_	0
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3or_EENKUlRNS0_14action_formulaEE0_clESM_	2
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3or_EENKUlRNS0_14action_formulaEE_clESM_	2
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_4and_EENKUlRNS0_14action_formulaEE0_clESM_	7
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_4and_EENKUlRNS0_14action_formulaEE_clESM_	7
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_4not_EENKUlRNS0_14action_formulaEE_clESM_	29
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6existsEENKUlRN7atermpp9term_listINS8_8variableEEEE_clESP_	1
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6existsEENKUlRNS0_14action_formulaEE0_clESM_	1
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6forallEENKUlRN7atermpp9term_listINS8_8variableEEEE_clESP_	3
_ZZN5mcrl215action_formulas20add_sort_expressionsINS_3lps23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6forallEENKUlRNS0_14action_formulaEE0_clESM_	3
_ZZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_3impEENKUlRS7_E0_clESD_	0
_ZZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_3impEENKUlRS7_E_clESD_	0
_ZZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_3or_EENKUlRS7_E0_clESD_	1
_ZZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_3or_EENKUlRS7_E_clESD_	1
_ZZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_4and_EENKUlRS7_E0_clESD_	2
_ZZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_4and_EENKUlRS7_E_clESD_	2
_ZZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_14action_formulaEEEvRT_RKNS0_4not_EENKUlRS7_E_clESD_	8
_ZZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3impEENKUlRNS0_14action_formulaEE0_clESF_	0
_ZZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3impEENKUlRNS0_14action_formulaEE_clESF_	0
_ZZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3or_EENKUlRNS0_14action_formulaEE0_clESF_	2
_ZZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_3or_EENKUlRNS0_14action_formulaEE_clESF_	2
_ZZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_4and_EENKUlRNS0_14action_formulaEE0_clESF_	7
_ZZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_4and_EENKUlRNS0_14action_formulaEE_clESF_	7
_ZZN5mcrl215action_formulas30add_action_formula_expressionsINS0_27action_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_4not_EENKUlRNS0_14action_formulaEE_clESF_	29
_ZZN5mcrl216regular_formulas20add_data_expressionsINS_15action_formulas23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_15regular_formulaEEEvRT_RKNS0_12trans_or_nilEENKUlRS9_E_clESF_	0
_ZZN5mcrl216regular_formulas20add_data_expressionsINS_15action_formulas23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_15regular_formulaEEEvRT_RKNS0_23untyped_regular_formulaEENKUlRS9_E0_clESF_	0
_ZZN5mcrl216regular_formulas20add_data_expressionsINS_15action_formulas23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_15regular_formulaEEEvRT_RKNS0_23untyped_regular_formulaEENKUlRS9_E_clESF_	0
_ZZN5mcrl216regular_formulas20add_data_expressionsINS_15action_formulas23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3altEENKUlRS9_E0_clESF_	0
_ZZN5mcrl216regular_formulas20add_data_expressionsINS_15action_formulas23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3altEENKUlRS9_E_clESF_	0
_ZZN5mcrl216regular_formulas20add_data_expressionsINS_15action_formulas23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3seqEENKUlRS9_E0_clESF_	0
_ZZN5mcrl216regular_formulas20add_data_expressionsINS_15action_formulas23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3seqEENKUlRS9_E_clESF_	0
_ZZN5mcrl216regular_formulas20add_data_expressionsINS_15action_formulas23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_15regular_formulaEEEvRT_RKNS0_5transEENKUlRS9_E_clESF_	0
_ZZN5mcrl216regular_formulas20add_data_expressionsINS_15action_formulas23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_12trans_or_nilEENKUlRSE_E_clESK_	2
_ZZN5mcrl216regular_formulas20add_data_expressionsINS_15action_formulas23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_23untyped_regular_formulaEENKUlRSE_E0_clESK_	0
_ZZN5mcrl216regular_formulas20add_data_expressionsINS_15action_formulas23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_23untyped_regular_formulaEENKUlRSE_E_clESK_	0
_ZZN5mcrl216regular_formulas20add_data_expressionsINS_15action_formulas23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3altEENKUlRSE_E0_clESK_	0
_ZZN5mcrl216regular_formulas20add_data_expressionsINS_15action_formulas23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3altEENKUlRSE_E_clESK_	0
_ZZN5mcrl216regular_formulas20add_data_expressionsINS_15action_formulas23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3seqEENKUlRSE_E0_clESK_	0
_ZZN5mcrl216regular_formulas20add_data_expressionsINS_15action_formulas23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3seqEENKUlRSE_E_clESK_	0
_ZZN5mcrl216regular_formulas20add_data_expressionsINS_15action_formulas23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_5transEENKUlRSE_E_clESK_	0
_ZZN5mcrl216regular_formulas20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_12trans_or_nilEENKUlRS8_E_clESE_	0
_ZZN5mcrl216regular_formulas20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_23untyped_regular_formulaEENKUlRS8_E0_clESE_	0
_ZZN5mcrl216regular_formulas20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_23untyped_regular_formulaEENKUlRS8_E_clESE_	0
_ZZN5mcrl216regular_formulas20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3altEENKUlRS8_E0_clESE_	0
_ZZN5mcrl216regular_formulas20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3altEENKUlRS8_E_clESE_	0
_ZZN5mcrl216regular_formulas20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3seqEENKUlRS8_E0_clESE_	0
_ZZN5mcrl216regular_formulas20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3seqEENKUlRS8_E_clESE_	0
_ZZN5mcrl216regular_formulas20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_5transEENKUlRS8_E_clESE_	0
_ZZN5mcrl216regular_formulas20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_12trans_or_nilEENKUlRSE_E_clESK_	33
_ZZN5mcrl216regular_formulas20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_23untyped_regular_formulaEENKUlRSE_E0_clESK_	5
_ZZN5mcrl216regular_formulas20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_23untyped_regular_formulaEENKUlRSE_E_clESK_	5
_ZZN5mcrl216regular_formulas20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3altEENKUlRSE_E0_clESK_	0
_ZZN5mcrl216regular_formulas20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3altEENKUlRSE_E_clESK_	0
_ZZN5mcrl216regular_formulas20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3seqEENKUlRSE_E0_clESK_	0
_ZZN5mcrl216regular_formulas20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3seqEENKUlRSE_E_clESK_	0
_ZZN5mcrl216regular_formulas20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_5transEENKUlRSE_E_clESK_	0
_ZZN5mcrl216regular_formulas31add_regular_formula_expressionsINS0_28regular_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_12trans_or_nilEENKUlRS7_E_clESD_	33
_ZZN5mcrl216regular_formulas31add_regular_formula_expressionsINS0_28regular_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3altEENKUlRS7_E0_clESD_	0
_ZZN5mcrl216regular_formulas31add_regular_formula_expressionsINS0_28regular_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3altEENKUlRS7_E_clESD_	0
_ZZN5mcrl216regular_formulas31add_regular_formula_expressionsINS0_28regular_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3seqEENKUlRS7_E0_clESD_	0
_ZZN5mcrl216regular_formulas31add_regular_formula_expressionsINS0_28regular_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3seqEENKUlRS7_E_clESD_	0
_ZZN5mcrl216regular_formulas31add_regular_formula_expressionsINS0_28regular_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_5transEENKUlRS7_E_clESD_	0

Generated by: LCOV version 1.14