before requantify: % context: file "tci_liveness_abort.m", line 101 % goal id: 1 % nonlocals: Ob_5, Kind_6, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % determinism: det ( % cannot_fail switch on Kind_6 % Kind_6 has functor k1/0 % context: file "tci_liveness_abort.m", line 101 % goal id: 4 % nonlocals: STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % determinism: det STATE_VARIABLE_List_12 = STATE_VARIABLE_List_0_11 % STATE_VARIABLE_List_12 := STATE_VARIABLE_List_0_11 % vars with new insts: STATE_VARIABLE_List_12 % Goal features: [feature_do_not_warn_singleton, feature_state_var_copy] ; % Kind_6 has functor k2/0 % context: file "tci_liveness_abort.m", line 106 % goal id: 9 % nonlocals: Ob_5, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % determinism: det ( if % context: file "tci_liveness_abort.m", line 106 % goal id: 10 % nonlocals: Ob_5, HostOb_8, TypeClassInfo_for_host_14 % determinism: semidet ( % conjunction % context: file "tci_liveness_abort.m", line 106 % goal id: 11 % nonlocals: Ob_5, V_13 % determinism: det Ob_5 = tci_liveness_abort.object(V_13) % Ob_5 => tci_liveness_abort.object/1(V_13) % arg-mode 1 in = out % vars with new insts: Ob_5, V_13 , % context: file "tci_liveness_abort.m", line 106 % goal id: 12 % nonlocals: HostOb_8, V_13, TypeClassInfo_for_host_14 % determinism: semidet V_13 = tci_liveness_abort.host(TypeClassInfo_for_host_14, HostOb_8) % V_13 ?= tci_liveness_abort.host/1(TypeClassInfo_for_host_14, HostOb_8) % arg-mode 1 in = out % arg-mode 2 in = out % vars with new insts: HostOb_8, V_13, TypeClassInfo_for_host_14 ) % vars with new insts: Ob_5, HostOb_8, TypeClassInfo_for_host_14 then % context: file "tci_liveness_abort.m", line 107 % goal id: 13 % nonlocals: Ob_5, HostOb_8, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12, TypeClassInfo_for_host_14 % determinism: det ( % conjunction % context: file "tci_liveness_abort.m", line 107 % goal id: 14 % nonlocals: Ob_5, HostOb_8, Item_10, TypeClassInfo_for_host_14 % determinism: det tci_liveness_abort.get_value(TypeClassInfo_for_host_14, Ob_5, HostOb_8, Item_10) % pred id: 453, proc id: 0 % vars with new insts: Ob_5, Item_10 , % goal id: 22 % nonlocals: TypeCtorInfo_15_15 % determinism: det TypeCtorInfo_15_15 = type_ctor_info(tci_liveness_abort, value, 0) % TypeCtorInfo_15_15 <= % cell_is_unique % vars with new insts: TypeCtorInfo_15_15 , % context: file "tci_liveness_abort.m", line 115 % goal id: 23 % nonlocals: Item_10, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12, TypeCtorInfo_15_15 % determinism: det list.cons(TypeCtorInfo_15_15, Item_10, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12) % pred id: 43, proc id: 0 % vars with new insts: STATE_VARIABLE_List_12, TypeCtorInfo_15_15 ) % vars with new insts: Ob_5, STATE_VARIABLE_List_12 else % context: file "tci_liveness_abort.m", line 106 % goal id: 24 % nonlocals: STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % determinism: det STATE_VARIABLE_List_12 = STATE_VARIABLE_List_0_11 % STATE_VARIABLE_List_12 := STATE_VARIABLE_List_0_11 % vars with new insts: STATE_VARIABLE_List_12 % Goal features: [feature_do_not_warn_singleton, feature_state_var_copy] ) % vars with new insts: Ob_5, STATE_VARIABLE_List_12 ; % Kind_6 has functor k3/0 % context: file "tci_liveness_abort.m", line 106 % goal id: 9 % nonlocals: Ob_5, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % determinism: det ( if % context: file "tci_liveness_abort.m", line 106 % goal id: 10 % nonlocals: Ob_5, HostOb_21, TypeClassInfo_for_host_25 % determinism: semidet ( % conjunction % context: file "tci_liveness_abort.m", line 106 % goal id: 11 % nonlocals: Ob_5, V_16 % determinism: det Ob_5 = tci_liveness_abort.object(V_16) % Ob_5 => tci_liveness_abort.object/1(V_16) % arg-mode 1 in = out % vars with new insts: Ob_5, V_16 , % context: file "tci_liveness_abort.m", line 106 % goal id: 12 % nonlocals: V_16, HostOb_21, TypeClassInfo_for_host_25 % determinism: semidet V_16 = tci_liveness_abort.host(TypeClassInfo_for_host_25, HostOb_21) % V_16 ?= tci_liveness_abort.host/1(TypeClassInfo_for_host_25, HostOb_21) % arg-mode 1 in = out % arg-mode 2 in = out % vars with new insts: V_16, HostOb_21, TypeClassInfo_for_host_25 ) % vars with new insts: Ob_5, HostOb_21, TypeClassInfo_for_host_25 then % context: file "tci_liveness_abort.m", line 107 % goal id: 13 % nonlocals: Ob_5, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12, HostOb_21, TypeClassInfo_for_host_25 % determinism: det ( % conjunction % context: file "tci_liveness_abort.m", line 107 % goal id: 14 % nonlocals: Ob_5, HostOb_21, TypeClassInfo_for_host_25 % determinism: det tci_liveness_abort.get_value(TypeClassInfo_for_host_25, Ob_5, HostOb_21, Value_17) % pred id: 453, proc id: 0 % vars with new insts: Ob_5 , % context: file "tci_liveness_abort.m", line 111 % goal id: 15 % nonlocals: Item_19 % determinism: det Item_19 = tci_liveness_abort.null % Item_19 <= tci_liveness_abort.null/0 % cons_id type_ctor: tci_liveness_abort.value/0 % cell_is_unique % vars with new insts: Item_19 , % goal id: 22 % nonlocals: TypeCtorInfo_15_20 % determinism: det TypeCtorInfo_15_20 = type_ctor_info(tci_liveness_abort, value, 0) % TypeCtorInfo_15_20 <= % cell_is_unique % vars with new insts: TypeCtorInfo_15_20 , % context: file "tci_liveness_abort.m", line 115 % goal id: 23 % nonlocals: STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12, Item_19, TypeCtorInfo_15_20 % determinism: det list.cons(TypeCtorInfo_15_20, Item_19, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12) % pred id: 43, proc id: 0 % vars with new insts: STATE_VARIABLE_List_12, TypeCtorInfo_15_20 ) % vars with new insts: Ob_5, STATE_VARIABLE_List_12 else % context: file "tci_liveness_abort.m", line 106 % goal id: 24 % nonlocals: STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % determinism: det STATE_VARIABLE_List_12 = STATE_VARIABLE_List_0_11 % STATE_VARIABLE_List_12 := STATE_VARIABLE_List_0_11 % vars with new insts: STATE_VARIABLE_List_12 % Goal features: [feature_do_not_warn_singleton, feature_state_var_copy] ) % vars with new insts: Ob_5, STATE_VARIABLE_List_12 ) % vars with new insts: Ob_5, Kind_6, STATE_VARIABLE_List_12 before liveness: % context: file "tci_liveness_abort.m", line 101 % goal id: 1 % nonlocals: Ob_5, Kind_6, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % determinism: det ( % cannot_fail switch on Kind_6 % Kind_6 has functor k1/0 % context: file "tci_liveness_abort.m", line 101 % goal id: 4 % nonlocals: STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % determinism: det STATE_VARIABLE_List_12 = STATE_VARIABLE_List_0_11 % STATE_VARIABLE_List_12 := STATE_VARIABLE_List_0_11 % vars with new insts: STATE_VARIABLE_List_12 % Goal features: [feature_do_not_warn_singleton, feature_state_var_copy] ; % Kind_6 has functor k2/0 % context: file "tci_liveness_abort.m", line 106 % goal id: 9 % nonlocals: Ob_5, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % determinism: det ( if % context: file "tci_liveness_abort.m", line 106 % goal id: 10 % nonlocals: Ob_5, HostOb_8, TypeClassInfo_for_host_14 % determinism: semidet ( % conjunction % context: file "tci_liveness_abort.m", line 106 % goal id: 11 % nonlocals: Ob_5, V_13 % determinism: det Ob_5 = tci_liveness_abort.object(V_13) % Ob_5 => tci_liveness_abort.object/1(V_13) % arg-mode 1 in = out % vars with new insts: Ob_5, V_13 , % context: file "tci_liveness_abort.m", line 106 % goal id: 12 % nonlocals: HostOb_8, V_13, TypeClassInfo_for_host_14 % determinism: semidet V_13 = tci_liveness_abort.host(TypeClassInfo_for_host_14, HostOb_8) % V_13 ?= tci_liveness_abort.host/1(TypeClassInfo_for_host_14, HostOb_8) % arg-mode 1 in = out % arg-mode 2 in = out % vars with new insts: HostOb_8, V_13, TypeClassInfo_for_host_14 ) % vars with new insts: Ob_5, HostOb_8, TypeClassInfo_for_host_14 then % context: file "tci_liveness_abort.m", line 107 % goal id: 13 % nonlocals: Ob_5, HostOb_8, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12, TypeClassInfo_for_host_14 % determinism: det ( % conjunction % context: file "tci_liveness_abort.m", line 107 % goal id: 14 % nonlocals: Ob_5, HostOb_8, Item_10, TypeClassInfo_for_host_14 % determinism: det tci_liveness_abort.get_value(TypeClassInfo_for_host_14, Ob_5, HostOb_8, Item_10) % pred id: 453, proc id: 0 % vars with new insts: Ob_5, Item_10 , % goal id: 22 % nonlocals: TypeCtorInfo_15_15 % determinism: det TypeCtorInfo_15_15 = type_ctor_info(tci_liveness_abort, value, 0) % TypeCtorInfo_15_15 <= % cell_is_unique % vars with new insts: TypeCtorInfo_15_15 , % context: file "tci_liveness_abort.m", line 115 % goal id: 23 % nonlocals: Item_10, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12, TypeCtorInfo_15_15 % determinism: det list.cons(TypeCtorInfo_15_15, Item_10, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12) % pred id: 43, proc id: 0 % vars with new insts: STATE_VARIABLE_List_12, TypeCtorInfo_15_15 ) % vars with new insts: Ob_5, STATE_VARIABLE_List_12 else % context: file "tci_liveness_abort.m", line 106 % goal id: 24 % nonlocals: STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % determinism: det STATE_VARIABLE_List_12 = STATE_VARIABLE_List_0_11 % STATE_VARIABLE_List_12 := STATE_VARIABLE_List_0_11 % vars with new insts: STATE_VARIABLE_List_12 % Goal features: [feature_do_not_warn_singleton, feature_state_var_copy] ) % vars with new insts: Ob_5, STATE_VARIABLE_List_12 ; % Kind_6 has functor k3/0 % context: file "tci_liveness_abort.m", line 106 % goal id: 9 % nonlocals: Ob_5, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % determinism: det ( if % context: file "tci_liveness_abort.m", line 106 % goal id: 10 % nonlocals: Ob_5, HostOb_21, TypeClassInfo_for_host_25 % determinism: semidet ( % conjunction % context: file "tci_liveness_abort.m", line 106 % goal id: 11 % nonlocals: Ob_5, V_16 % determinism: det Ob_5 = tci_liveness_abort.object(V_16) % Ob_5 => tci_liveness_abort.object/1(V_16) % arg-mode 1 in = out % vars with new insts: Ob_5, V_16 , % context: file "tci_liveness_abort.m", line 106 % goal id: 12 % nonlocals: V_16, HostOb_21, TypeClassInfo_for_host_25 % determinism: semidet V_16 = tci_liveness_abort.host(TypeClassInfo_for_host_25, HostOb_21) % V_16 ?= tci_liveness_abort.host/1(TypeClassInfo_for_host_25, HostOb_21) % arg-mode 1 in = out % arg-mode 2 in = out % vars with new insts: V_16, HostOb_21, TypeClassInfo_for_host_25 ) % vars with new insts: Ob_5, HostOb_21, TypeClassInfo_for_host_25 then % context: file "tci_liveness_abort.m", line 107 % goal id: 13 % nonlocals: Ob_5, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12, HostOb_21, TypeClassInfo_for_host_25 % determinism: det ( % conjunction % context: file "tci_liveness_abort.m", line 107 % goal id: 14 % nonlocals: Ob_5, HostOb_21, TypeClassInfo_for_host_25 % determinism: det tci_liveness_abort.get_value(TypeClassInfo_for_host_25, Ob_5, HostOb_21, Value_17) % pred id: 453, proc id: 0 % vars with new insts: Ob_5 , % context: file "tci_liveness_abort.m", line 111 % goal id: 15 % nonlocals: Item_19 % determinism: det Item_19 = tci_liveness_abort.null % Item_19 <= tci_liveness_abort.null/0 % cons_id type_ctor: tci_liveness_abort.value/0 % cell_is_unique % vars with new insts: Item_19 , % goal id: 22 % nonlocals: TypeCtorInfo_15_20 % determinism: det TypeCtorInfo_15_20 = type_ctor_info(tci_liveness_abort, value, 0) % TypeCtorInfo_15_20 <= % cell_is_unique % vars with new insts: TypeCtorInfo_15_20 , % context: file "tci_liveness_abort.m", line 115 % goal id: 23 % nonlocals: STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12, Item_19, TypeCtorInfo_15_20 % determinism: det list.cons(TypeCtorInfo_15_20, Item_19, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12) % pred id: 43, proc id: 0 % vars with new insts: STATE_VARIABLE_List_12, TypeCtorInfo_15_20 ) % vars with new insts: Ob_5, STATE_VARIABLE_List_12 else % context: file "tci_liveness_abort.m", line 106 % goal id: 24 % nonlocals: STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % determinism: det STATE_VARIABLE_List_12 = STATE_VARIABLE_List_0_11 % STATE_VARIABLE_List_12 := STATE_VARIABLE_List_0_11 % vars with new insts: STATE_VARIABLE_List_12 % Goal features: [feature_do_not_warn_singleton, feature_state_var_copy] ) % vars with new insts: Ob_5, STATE_VARIABLE_List_12 ) % vars with new insts: Ob_5, Kind_6, STATE_VARIABLE_List_12 after liveness: % context: file "tci_liveness_abort.m", line 101 % goal id: 1 % nonlocals: Ob_5, Kind_6, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % determinism: det ( % cannot_fail switch on Kind_6 % Kind_6 has functor k1/0 % context: file "tci_liveness_abort.m", line 101 % goal id: 4 % nonlocals: STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % pre-births: STATE_VARIABLE_List_12 % determinism: det STATE_VARIABLE_List_12 = STATE_VARIABLE_List_0_11 % STATE_VARIABLE_List_12 := STATE_VARIABLE_List_0_11 % vars with new insts: STATE_VARIABLE_List_12 % Goal features: [feature_do_not_warn_singleton, feature_state_var_copy] ; % Kind_6 has functor k2/0 % context: file "tci_liveness_abort.m", line 106 % goal id: 9 % nonlocals: Ob_5, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % determinism: det ( if % context: file "tci_liveness_abort.m", line 106 % goal id: 10 % nonlocals: Ob_5, HostOb_8, TypeClassInfo_for_host_14 % determinism: semidet ( % conjunction % context: file "tci_liveness_abort.m", line 106 % goal id: 11 % nonlocals: Ob_5, V_13 % pre-births: V_13 % determinism: det Ob_5 = tci_liveness_abort.object(V_13) % Ob_5 => tci_liveness_abort.object/1(V_13) % arg-mode 1 in = out % vars with new insts: Ob_5, V_13 , % context: file "tci_liveness_abort.m", line 106 % goal id: 12 % nonlocals: HostOb_8, V_13, TypeClassInfo_for_host_14 % pre-births: HostOb_8, TypeClassInfo_for_host_14 % determinism: semidet V_13 = tci_liveness_abort.host(TypeClassInfo_for_host_14, HostOb_8) % V_13 ?= tci_liveness_abort.host/1(TypeClassInfo_for_host_14, HostOb_8) % arg-mode 1 in = out % arg-mode 2 in = out % vars with new insts: HostOb_8, V_13, TypeClassInfo_for_host_14 ) % vars with new insts: Ob_5, HostOb_8, TypeClassInfo_for_host_14 then % context: file "tci_liveness_abort.m", line 107 % goal id: 13 % nonlocals: Ob_5, HostOb_8, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12, TypeClassInfo_for_host_14 % determinism: det ( % conjunction % context: file "tci_liveness_abort.m", line 107 % goal id: 14 % nonlocals: Ob_5, HostOb_8, Item_10, TypeClassInfo_for_host_14 % pre-births: Item_10 % determinism: det tci_liveness_abort.get_value(TypeClassInfo_for_host_14, Ob_5, HostOb_8, Item_10) % pred id: 453, proc id: 0 % vars with new insts: Ob_5, Item_10 , % goal id: 22 % nonlocals: TypeCtorInfo_15_15 % pre-births: TypeCtorInfo_15_15 % determinism: det TypeCtorInfo_15_15 = type_ctor_info(tci_liveness_abort, value, 0) % TypeCtorInfo_15_15 <= % cell_is_unique % vars with new insts: TypeCtorInfo_15_15 , % context: file "tci_liveness_abort.m", line 115 % goal id: 23 % nonlocals: Item_10, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12, TypeCtorInfo_15_15 % pre-births: STATE_VARIABLE_List_12 % determinism: det list.cons(TypeCtorInfo_15_15, Item_10, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12) % pred id: 43, proc id: 0 % vars with new insts: STATE_VARIABLE_List_12, TypeCtorInfo_15_15 ) % vars with new insts: Ob_5, STATE_VARIABLE_List_12 else % context: file "tci_liveness_abort.m", line 106 % goal id: 24 % nonlocals: STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % pre-births: STATE_VARIABLE_List_12 % determinism: det STATE_VARIABLE_List_12 = STATE_VARIABLE_List_0_11 % STATE_VARIABLE_List_12 := STATE_VARIABLE_List_0_11 % vars with new insts: STATE_VARIABLE_List_12 % Goal features: [feature_do_not_warn_singleton, feature_state_var_copy] ) % vars with new insts: Ob_5, STATE_VARIABLE_List_12 ; % Kind_6 has functor k3/0 % context: file "tci_liveness_abort.m", line 106 % goal id: 9 % nonlocals: Ob_5, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % determinism: det ( if % context: file "tci_liveness_abort.m", line 106 % goal id: 10 % nonlocals: Ob_5, HostOb_21, TypeClassInfo_for_host_25 % determinism: semidet ( % conjunction % context: file "tci_liveness_abort.m", line 106 % goal id: 11 % nonlocals: Ob_5, V_16 % pre-births: V_16 % determinism: det Ob_5 = tci_liveness_abort.object(V_16) % Ob_5 => tci_liveness_abort.object/1(V_16) % arg-mode 1 in = out % vars with new insts: Ob_5, V_16 , % context: file "tci_liveness_abort.m", line 106 % goal id: 12 % nonlocals: V_16, HostOb_21, TypeClassInfo_for_host_25 % pre-births: TypeClassInfo_for_host_14, HostOb_21, TypeClassInfo_for_host_25 % determinism: semidet V_16 = tci_liveness_abort.host(TypeClassInfo_for_host_25, HostOb_21) % V_16 ?= tci_liveness_abort.host/1(TypeClassInfo_for_host_25, HostOb_21) % arg-mode 1 in = out % arg-mode 2 in = out % vars with new insts: V_16, HostOb_21, TypeClassInfo_for_host_25 ) % vars with new insts: Ob_5, HostOb_21, TypeClassInfo_for_host_25 then % context: file "tci_liveness_abort.m", line 107 % goal id: 13 % nonlocals: Ob_5, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12, HostOb_21, TypeClassInfo_for_host_25 % determinism: det ( % conjunction % context: file "tci_liveness_abort.m", line 107 % goal id: 14 % nonlocals: Ob_5, HostOb_21, TypeClassInfo_for_host_25 % determinism: det tci_liveness_abort.get_value(TypeClassInfo_for_host_25, Ob_5, HostOb_21, Value_17) % pred id: 453, proc id: 0 % vars with new insts: Ob_5 , % context: file "tci_liveness_abort.m", line 111 % goal id: 15 % nonlocals: Item_19 % pre-births: Item_19 % determinism: det Item_19 = tci_liveness_abort.null % Item_19 <= tci_liveness_abort.null/0 % cons_id type_ctor: tci_liveness_abort.value/0 % cell_is_unique % vars with new insts: Item_19 , % goal id: 22 % nonlocals: TypeCtorInfo_15_20 % pre-births: TypeCtorInfo_15_20 % determinism: det TypeCtorInfo_15_20 = type_ctor_info(tci_liveness_abort, value, 0) % TypeCtorInfo_15_20 <= % cell_is_unique % vars with new insts: TypeCtorInfo_15_20 , % context: file "tci_liveness_abort.m", line 115 % goal id: 23 % nonlocals: STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12, Item_19, TypeCtorInfo_15_20 % pre-births: STATE_VARIABLE_List_12 % determinism: det list.cons(TypeCtorInfo_15_20, Item_19, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12) % pred id: 43, proc id: 0 % vars with new insts: STATE_VARIABLE_List_12, TypeCtorInfo_15_20 ) % vars with new insts: Ob_5, STATE_VARIABLE_List_12 else % context: file "tci_liveness_abort.m", line 106 % goal id: 24 % nonlocals: STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % pre-births: STATE_VARIABLE_List_12 % determinism: det STATE_VARIABLE_List_12 = STATE_VARIABLE_List_0_11 % STATE_VARIABLE_List_12 := STATE_VARIABLE_List_0_11 % vars with new insts: STATE_VARIABLE_List_12 % Goal features: [feature_do_not_warn_singleton, feature_state_var_copy] ) % vars with new insts: Ob_5, STATE_VARIABLE_List_12 ) % vars with new insts: Ob_5, Kind_6, STATE_VARIABLE_List_12 after deadness: % context: file "tci_liveness_abort.m", line 101 % goal id: 1 % nonlocals: Ob_5, Kind_6, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % determinism: det ( % cannot_fail switch on Kind_6 % Kind_6 has functor k1/0 % context: file "tci_liveness_abort.m", line 101 % goal id: 4 % nonlocals: STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % pre-deaths: Ob_5, Kind_6 % pre-births: STATE_VARIABLE_List_12 % determinism: det STATE_VARIABLE_List_12 = STATE_VARIABLE_List_0_11 % STATE_VARIABLE_List_12 := STATE_VARIABLE_List_0_11 % vars with new insts: STATE_VARIABLE_List_12 % post-deaths: STATE_VARIABLE_List_0_11 % Goal features: [feature_do_not_warn_singleton, feature_state_var_copy] ; % Kind_6 has functor k2/0 % context: file "tci_liveness_abort.m", line 106 % goal id: 9 % nonlocals: Ob_5, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % pre-deaths: Kind_6 % determinism: det ( if % context: file "tci_liveness_abort.m", line 106 % goal id: 10 % nonlocals: Ob_5, HostOb_8, TypeClassInfo_for_host_14 % determinism: semidet ( % conjunction % context: file "tci_liveness_abort.m", line 106 % goal id: 11 % nonlocals: Ob_5, V_13 % pre-births: V_13 % determinism: det Ob_5 = tci_liveness_abort.object(V_13) % Ob_5 => tci_liveness_abort.object/1(V_13) % arg-mode 1 in = out % vars with new insts: Ob_5, V_13 , % context: file "tci_liveness_abort.m", line 106 % goal id: 12 % nonlocals: HostOb_8, V_13, TypeClassInfo_for_host_14 % pre-births: HostOb_8, TypeClassInfo_for_host_14 % determinism: semidet V_13 = tci_liveness_abort.host(TypeClassInfo_for_host_14, HostOb_8) % V_13 ?= tci_liveness_abort.host/1(TypeClassInfo_for_host_14, HostOb_8) % arg-mode 1 in = out % arg-mode 2 in = out % vars with new insts: HostOb_8, V_13, TypeClassInfo_for_host_14 % post-deaths: V_13 ) % vars with new insts: Ob_5, HostOb_8, TypeClassInfo_for_host_14 then % context: file "tci_liveness_abort.m", line 107 % goal id: 13 % nonlocals: Ob_5, HostOb_8, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12, TypeClassInfo_for_host_14 % determinism: det ( % conjunction % context: file "tci_liveness_abort.m", line 107 % goal id: 14 % nonlocals: Ob_5, HostOb_8, Item_10, TypeClassInfo_for_host_14 % pre-births: Item_10 % determinism: det tci_liveness_abort.get_value(TypeClassInfo_for_host_14, Ob_5, HostOb_8, Item_10) % pred id: 453, proc id: 0 % vars with new insts: Ob_5, Item_10 % post-deaths: Ob_5, HostOb_8, TypeClassInfo_for_host_14 , % goal id: 22 % nonlocals: TypeCtorInfo_15_15 % pre-births: TypeCtorInfo_15_15 % determinism: det TypeCtorInfo_15_15 = type_ctor_info(tci_liveness_abort, value, 0) % TypeCtorInfo_15_15 <= % cell_is_unique % vars with new insts: TypeCtorInfo_15_15 , % context: file "tci_liveness_abort.m", line 115 % goal id: 23 % nonlocals: Item_10, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12, TypeCtorInfo_15_15 % pre-births: STATE_VARIABLE_List_12 % determinism: det list.cons(TypeCtorInfo_15_15, Item_10, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12) % pred id: 43, proc id: 0 % vars with new insts: STATE_VARIABLE_List_12, TypeCtorInfo_15_15 % post-deaths: Item_10, STATE_VARIABLE_List_0_11, TypeCtorInfo_15_15 ) % vars with new insts: Ob_5, STATE_VARIABLE_List_12 else % context: file "tci_liveness_abort.m", line 106 % goal id: 24 % nonlocals: STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % pre-deaths: Ob_5 % pre-births: STATE_VARIABLE_List_12 % determinism: det STATE_VARIABLE_List_12 = STATE_VARIABLE_List_0_11 % STATE_VARIABLE_List_12 := STATE_VARIABLE_List_0_11 % vars with new insts: STATE_VARIABLE_List_12 % post-deaths: STATE_VARIABLE_List_0_11 % Goal features: [feature_do_not_warn_singleton, feature_state_var_copy] ) % vars with new insts: Ob_5, STATE_VARIABLE_List_12 ; % Kind_6 has functor k3/0 % context: file "tci_liveness_abort.m", line 106 % goal id: 9 % nonlocals: Ob_5, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % pre-deaths: Kind_6 % determinism: det ( if % context: file "tci_liveness_abort.m", line 106 % goal id: 10 % nonlocals: Ob_5, HostOb_21, TypeClassInfo_for_host_25 % determinism: semidet ( % conjunction % context: file "tci_liveness_abort.m", line 106 % goal id: 11 % nonlocals: Ob_5, V_16 % pre-births: V_16 % determinism: det Ob_5 = tci_liveness_abort.object(V_16) % Ob_5 => tci_liveness_abort.object/1(V_16) % arg-mode 1 in = out % vars with new insts: Ob_5, V_16 , % context: file "tci_liveness_abort.m", line 106 % goal id: 12 % nonlocals: V_16, HostOb_21, TypeClassInfo_for_host_25 % pre-births: TypeClassInfo_for_host_14, HostOb_21, TypeClassInfo_for_host_25 % determinism: semidet V_16 = tci_liveness_abort.host(TypeClassInfo_for_host_25, HostOb_21) % V_16 ?= tci_liveness_abort.host/1(TypeClassInfo_for_host_25, HostOb_21) % arg-mode 1 in = out % arg-mode 2 in = out % vars with new insts: V_16, HostOb_21, TypeClassInfo_for_host_25 % post-deaths: V_16 ) % vars with new insts: Ob_5, HostOb_21, TypeClassInfo_for_host_25 then % context: file "tci_liveness_abort.m", line 107 % goal id: 13 % nonlocals: Ob_5, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12, HostOb_21, TypeClassInfo_for_host_25 % determinism: det ( % conjunction % context: file "tci_liveness_abort.m", line 107 % goal id: 14 % nonlocals: Ob_5, HostOb_21, TypeClassInfo_for_host_25 % determinism: det tci_liveness_abort.get_value(TypeClassInfo_for_host_25, Ob_5, HostOb_21, Value_17) % pred id: 453, proc id: 0 % vars with new insts: Ob_5 % post-deaths: Ob_5, TypeClassInfo_for_host_14, HostOb_21, TypeClassInfo_for_host_25 , % context: file "tci_liveness_abort.m", line 111 % goal id: 15 % nonlocals: Item_19 % pre-births: Item_19 % determinism: det Item_19 = tci_liveness_abort.null % Item_19 <= tci_liveness_abort.null/0 % cons_id type_ctor: tci_liveness_abort.value/0 % cell_is_unique % vars with new insts: Item_19 , % goal id: 22 % nonlocals: TypeCtorInfo_15_20 % pre-births: TypeCtorInfo_15_20 % determinism: det TypeCtorInfo_15_20 = type_ctor_info(tci_liveness_abort, value, 0) % TypeCtorInfo_15_20 <= % cell_is_unique % vars with new insts: TypeCtorInfo_15_20 , % context: file "tci_liveness_abort.m", line 115 % goal id: 23 % nonlocals: STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12, Item_19, TypeCtorInfo_15_20 % pre-births: STATE_VARIABLE_List_12 % determinism: det list.cons(TypeCtorInfo_15_20, Item_19, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12) % pred id: 43, proc id: 0 % vars with new insts: STATE_VARIABLE_List_12, TypeCtorInfo_15_20 % post-deaths: STATE_VARIABLE_List_0_11, Item_19, TypeCtorInfo_15_20 ) % vars with new insts: Ob_5, STATE_VARIABLE_List_12 else % context: file "tci_liveness_abort.m", line 106 % goal id: 24 % nonlocals: STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % pre-deaths: Ob_5 % pre-births: STATE_VARIABLE_List_12 % determinism: det STATE_VARIABLE_List_12 = STATE_VARIABLE_List_0_11 % STATE_VARIABLE_List_12 := STATE_VARIABLE_List_0_11 % vars with new insts: STATE_VARIABLE_List_12 % post-deaths: STATE_VARIABLE_List_0_11 % Goal features: [feature_do_not_warn_singleton, feature_state_var_copy] ) % vars with new insts: Ob_5, STATE_VARIABLE_List_12 ) % vars with new insts: Ob_5, Kind_6, STATE_VARIABLE_List_12 after delay death: % context: file "tci_liveness_abort.m", line 101 % goal id: 1 % nonlocals: Ob_5, Kind_6, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % determinism: det ( % cannot_fail switch on Kind_6 % Kind_6 has functor k1/0 % context: file "tci_liveness_abort.m", line 101 % goal id: 4 % nonlocals: STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % pre-births: STATE_VARIABLE_List_12 % determinism: det STATE_VARIABLE_List_12 = STATE_VARIABLE_List_0_11 % STATE_VARIABLE_List_12 := STATE_VARIABLE_List_0_11 % vars with new insts: STATE_VARIABLE_List_12 % Goal features: [feature_do_not_warn_singleton, feature_state_var_copy] ; % Kind_6 has functor k2/0 % context: file "tci_liveness_abort.m", line 106 % goal id: 9 % nonlocals: Ob_5, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % determinism: det ( if % context: file "tci_liveness_abort.m", line 106 % goal id: 10 % nonlocals: Ob_5, HostOb_8, TypeClassInfo_for_host_14 % determinism: semidet ( % conjunction % context: file "tci_liveness_abort.m", line 106 % goal id: 11 % nonlocals: Ob_5, V_13 % pre-births: V_13 % determinism: det Ob_5 = tci_liveness_abort.object(V_13) % Ob_5 => tci_liveness_abort.object/1(V_13) % arg-mode 1 in = out % vars with new insts: Ob_5, V_13 , % context: file "tci_liveness_abort.m", line 106 % goal id: 12 % nonlocals: HostOb_8, V_13, TypeClassInfo_for_host_14 % pre-births: HostOb_8, TypeClassInfo_for_host_14 % determinism: semidet V_13 = tci_liveness_abort.host(TypeClassInfo_for_host_14, HostOb_8) % V_13 ?= tci_liveness_abort.host/1(TypeClassInfo_for_host_14, HostOb_8) % arg-mode 1 in = out % arg-mode 2 in = out % vars with new insts: HostOb_8, V_13, TypeClassInfo_for_host_14 % post-deaths: V_13 ) % vars with new insts: Ob_5, HostOb_8, TypeClassInfo_for_host_14 then % context: file "tci_liveness_abort.m", line 107 % goal id: 13 % nonlocals: Ob_5, HostOb_8, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12, TypeClassInfo_for_host_14 % determinism: det ( % conjunction % context: file "tci_liveness_abort.m", line 107 % goal id: 14 % nonlocals: Ob_5, HostOb_8, Item_10, TypeClassInfo_for_host_14 % pre-births: Item_10 % determinism: det tci_liveness_abort.get_value(TypeClassInfo_for_host_14, Ob_5, HostOb_8, Item_10) % pred id: 453, proc id: 0 % vars with new insts: Ob_5, Item_10 , % goal id: 22 % nonlocals: TypeCtorInfo_15_15 % pre-births: TypeCtorInfo_15_15 % determinism: det TypeCtorInfo_15_15 = type_ctor_info(tci_liveness_abort, value, 0) % TypeCtorInfo_15_15 <= % cell_is_unique % vars with new insts: TypeCtorInfo_15_15 , % context: file "tci_liveness_abort.m", line 115 % goal id: 23 % nonlocals: Item_10, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12, TypeCtorInfo_15_15 % pre-births: STATE_VARIABLE_List_12 % determinism: det list.cons(TypeCtorInfo_15_15, Item_10, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12) % pred id: 43, proc id: 0 % vars with new insts: STATE_VARIABLE_List_12, TypeCtorInfo_15_15 ) % vars with new insts: Ob_5, STATE_VARIABLE_List_12 % post-deaths: HostOb_8, Item_10, TypeClassInfo_for_host_14, TypeCtorInfo_15_15 else % context: file "tci_liveness_abort.m", line 106 % goal id: 24 % nonlocals: STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % pre-births: STATE_VARIABLE_List_12 % determinism: det STATE_VARIABLE_List_12 = STATE_VARIABLE_List_0_11 % STATE_VARIABLE_List_12 := STATE_VARIABLE_List_0_11 % vars with new insts: STATE_VARIABLE_List_12 % Goal features: [feature_do_not_warn_singleton, feature_state_var_copy] ) % vars with new insts: Ob_5, STATE_VARIABLE_List_12 ; % Kind_6 has functor k3/0 % context: file "tci_liveness_abort.m", line 106 % goal id: 9 % nonlocals: Ob_5, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % determinism: det ( if % context: file "tci_liveness_abort.m", line 106 % goal id: 10 % nonlocals: Ob_5, HostOb_21, TypeClassInfo_for_host_25 % determinism: semidet ( % conjunction % context: file "tci_liveness_abort.m", line 106 % goal id: 11 % nonlocals: Ob_5, V_16 % pre-births: V_16 % determinism: det Ob_5 = tci_liveness_abort.object(V_16) % Ob_5 => tci_liveness_abort.object/1(V_16) % arg-mode 1 in = out % vars with new insts: Ob_5, V_16 , % context: file "tci_liveness_abort.m", line 106 % goal id: 12 % nonlocals: V_16, HostOb_21, TypeClassInfo_for_host_25 % pre-births: TypeClassInfo_for_host_14, HostOb_21, TypeClassInfo_for_host_25 % determinism: semidet V_16 = tci_liveness_abort.host(TypeClassInfo_for_host_25, HostOb_21) % V_16 ?= tci_liveness_abort.host/1(TypeClassInfo_for_host_25, HostOb_21) % arg-mode 1 in = out % arg-mode 2 in = out % vars with new insts: V_16, HostOb_21, TypeClassInfo_for_host_25 % post-deaths: V_16 ) % vars with new insts: Ob_5, HostOb_21, TypeClassInfo_for_host_25 then % context: file "tci_liveness_abort.m", line 107 % goal id: 13 % nonlocals: Ob_5, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12, HostOb_21, TypeClassInfo_for_host_25 % determinism: det ( % conjunction % context: file "tci_liveness_abort.m", line 107 % goal id: 14 % nonlocals: Ob_5, HostOb_21, TypeClassInfo_for_host_25 % determinism: det tci_liveness_abort.get_value(TypeClassInfo_for_host_25, Ob_5, HostOb_21, Value_17) % pred id: 453, proc id: 0 % vars with new insts: Ob_5 , % context: file "tci_liveness_abort.m", line 111 % goal id: 15 % nonlocals: Item_19 % pre-births: Item_19 % determinism: det Item_19 = tci_liveness_abort.null % Item_19 <= tci_liveness_abort.null/0 % cons_id type_ctor: tci_liveness_abort.value/0 % cell_is_unique % vars with new insts: Item_19 , % goal id: 22 % nonlocals: TypeCtorInfo_15_20 % pre-births: TypeCtorInfo_15_20 % determinism: det TypeCtorInfo_15_20 = type_ctor_info(tci_liveness_abort, value, 0) % TypeCtorInfo_15_20 <= % cell_is_unique % vars with new insts: TypeCtorInfo_15_20 , % context: file "tci_liveness_abort.m", line 115 % goal id: 23 % nonlocals: STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12, Item_19, TypeCtorInfo_15_20 % pre-births: STATE_VARIABLE_List_12 % determinism: det list.cons(TypeCtorInfo_15_20, Item_19, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12) % pred id: 43, proc id: 0 % vars with new insts: STATE_VARIABLE_List_12, TypeCtorInfo_15_20 ) % vars with new insts: Ob_5, STATE_VARIABLE_List_12 % post-deaths: TypeClassInfo_for_host_14, Item_19, TypeCtorInfo_15_20, HostOb_21, TypeClassInfo_for_host_25 else % context: file "tci_liveness_abort.m", line 106 % goal id: 24 % nonlocals: STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % pre-births: STATE_VARIABLE_List_12 % determinism: det STATE_VARIABLE_List_12 = STATE_VARIABLE_List_0_11 % STATE_VARIABLE_List_12 := STATE_VARIABLE_List_0_11 % vars with new insts: STATE_VARIABLE_List_12 % Goal features: [feature_do_not_warn_singleton, feature_state_var_copy] ) % vars with new insts: Ob_5, STATE_VARIABLE_List_12 ) % vars with new insts: Ob_5, Kind_6, STATE_VARIABLE_List_12 % post-deaths: Ob_5, Kind_6, STATE_VARIABLE_List_0_11 after resume point: % context: file "tci_liveness_abort.m", line 101 % goal id: 1 % nonlocals: Ob_5, Kind_6, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % determinism: det ( % cannot_fail switch on Kind_6 % Kind_6 has functor k1/0 % context: file "tci_liveness_abort.m", line 101 % goal id: 4 % nonlocals: STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % pre-births: STATE_VARIABLE_List_12 % determinism: det STATE_VARIABLE_List_12 = STATE_VARIABLE_List_0_11 % STATE_VARIABLE_List_12 := STATE_VARIABLE_List_0_11 % vars with new insts: STATE_VARIABLE_List_12 % Goal features: [feature_do_not_warn_singleton, feature_state_var_copy] ; % Kind_6 has functor k2/0 % context: file "tci_liveness_abort.m", line 106 % goal id: 9 % nonlocals: Ob_5, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % determinism: det ( if % context: file "tci_liveness_abort.m", line 106 % goal id: 10 % nonlocals: Ob_5, HostOb_8, TypeClassInfo_for_host_14 % determinism: semidet ( % conjunction % context: file "tci_liveness_abort.m", line 106 % goal id: 11 % nonlocals: Ob_5, V_13 % pre-births: V_13 % determinism: det Ob_5 = tci_liveness_abort.object(V_13) % Ob_5 => tci_liveness_abort.object/1(V_13) % arg-mode 1 in = out % vars with new insts: Ob_5, V_13 , % context: file "tci_liveness_abort.m", line 106 % goal id: 12 % nonlocals: HostOb_8, V_13, TypeClassInfo_for_host_14 % pre-births: HostOb_8, TypeClassInfo_for_host_14 % determinism: semidet V_13 = tci_liveness_abort.host(TypeClassInfo_for_host_14, HostOb_8) % V_13 ?= tci_liveness_abort.host/1(TypeClassInfo_for_host_14, HostOb_8) % arg-mode 1 in = out % arg-mode 2 in = out % vars with new insts: HostOb_8, V_13, TypeClassInfo_for_host_14 % post-deaths: V_13 ) % vars with new insts: Ob_5, HostOb_8, TypeClassInfo_for_host_14 % resume point orig only Ob_5, Kind_6, STATE_VARIABLE_List_0_11 then % context: file "tci_liveness_abort.m", line 107 % goal id: 13 % nonlocals: Ob_5, HostOb_8, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12, TypeClassInfo_for_host_14 % determinism: det ( % conjunction % context: file "tci_liveness_abort.m", line 107 % goal id: 14 % nonlocals: Ob_5, HostOb_8, Item_10, TypeClassInfo_for_host_14 % pre-births: Item_10 % determinism: det tci_liveness_abort.get_value(TypeClassInfo_for_host_14, Ob_5, HostOb_8, Item_10) % pred id: 453, proc id: 0 % vars with new insts: Ob_5, Item_10 , % goal id: 22 % nonlocals: TypeCtorInfo_15_15 % pre-births: TypeCtorInfo_15_15 % determinism: det TypeCtorInfo_15_15 = type_ctor_info(tci_liveness_abort, value, 0) % TypeCtorInfo_15_15 <= % cell_is_unique % vars with new insts: TypeCtorInfo_15_15 , % context: file "tci_liveness_abort.m", line 115 % goal id: 23 % nonlocals: Item_10, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12, TypeCtorInfo_15_15 % pre-births: STATE_VARIABLE_List_12 % determinism: det list.cons(TypeCtorInfo_15_15, Item_10, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12) % pred id: 43, proc id: 0 % vars with new insts: STATE_VARIABLE_List_12, TypeCtorInfo_15_15 ) % vars with new insts: Ob_5, STATE_VARIABLE_List_12 % post-deaths: HostOb_8, Item_10, TypeClassInfo_for_host_14, TypeCtorInfo_15_15 else % context: file "tci_liveness_abort.m", line 106 % goal id: 24 % nonlocals: STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % pre-births: STATE_VARIABLE_List_12 % determinism: det STATE_VARIABLE_List_12 = STATE_VARIABLE_List_0_11 % STATE_VARIABLE_List_12 := STATE_VARIABLE_List_0_11 % vars with new insts: STATE_VARIABLE_List_12 % Goal features: [feature_do_not_warn_singleton, feature_state_var_copy] ) % vars with new insts: Ob_5, STATE_VARIABLE_List_12 ; % Kind_6 has functor k3/0 % context: file "tci_liveness_abort.m", line 106 % goal id: 9 % nonlocals: Ob_5, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % determinism: det ( if % context: file "tci_liveness_abort.m", line 106 % goal id: 10 % nonlocals: Ob_5, HostOb_21, TypeClassInfo_for_host_25 % determinism: semidet ( % conjunction % context: file "tci_liveness_abort.m", line 106 % goal id: 11 % nonlocals: Ob_5, V_16 % pre-births: V_16 % determinism: det Ob_5 = tci_liveness_abort.object(V_16) % Ob_5 => tci_liveness_abort.object/1(V_16) % arg-mode 1 in = out % vars with new insts: Ob_5, V_16 , % context: file "tci_liveness_abort.m", line 106 % goal id: 12 % nonlocals: V_16, HostOb_21, TypeClassInfo_for_host_25 % pre-births: TypeClassInfo_for_host_14, HostOb_21, TypeClassInfo_for_host_25 % determinism: semidet V_16 = tci_liveness_abort.host(TypeClassInfo_for_host_25, HostOb_21) % V_16 ?= tci_liveness_abort.host/1(TypeClassInfo_for_host_25, HostOb_21) % arg-mode 1 in = out % arg-mode 2 in = out % vars with new insts: V_16, HostOb_21, TypeClassInfo_for_host_25 % post-deaths: V_16 ) % vars with new insts: Ob_5, HostOb_21, TypeClassInfo_for_host_25 % resume point orig only Ob_5, Kind_6, STATE_VARIABLE_List_0_11 then % context: file "tci_liveness_abort.m", line 107 % goal id: 13 % nonlocals: Ob_5, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12, HostOb_21, TypeClassInfo_for_host_25 % determinism: det ( % conjunction % context: file "tci_liveness_abort.m", line 107 % goal id: 14 % nonlocals: Ob_5, HostOb_21, TypeClassInfo_for_host_25 % determinism: det tci_liveness_abort.get_value(TypeClassInfo_for_host_25, Ob_5, HostOb_21, Value_17) % pred id: 453, proc id: 0 % vars with new insts: Ob_5 , % context: file "tci_liveness_abort.m", line 111 % goal id: 15 % nonlocals: Item_19 % pre-births: Item_19 % determinism: det Item_19 = tci_liveness_abort.null % Item_19 <= tci_liveness_abort.null/0 % cons_id type_ctor: tci_liveness_abort.value/0 % cell_is_unique % vars with new insts: Item_19 , % goal id: 22 % nonlocals: TypeCtorInfo_15_20 % pre-births: TypeCtorInfo_15_20 % determinism: det TypeCtorInfo_15_20 = type_ctor_info(tci_liveness_abort, value, 0) % TypeCtorInfo_15_20 <= % cell_is_unique % vars with new insts: TypeCtorInfo_15_20 , % context: file "tci_liveness_abort.m", line 115 % goal id: 23 % nonlocals: STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12, Item_19, TypeCtorInfo_15_20 % pre-births: STATE_VARIABLE_List_12 % determinism: det list.cons(TypeCtorInfo_15_20, Item_19, STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12) % pred id: 43, proc id: 0 % vars with new insts: STATE_VARIABLE_List_12, TypeCtorInfo_15_20 ) % vars with new insts: Ob_5, STATE_VARIABLE_List_12 % post-deaths: TypeClassInfo_for_host_14, Item_19, TypeCtorInfo_15_20, HostOb_21, TypeClassInfo_for_host_25 else % context: file "tci_liveness_abort.m", line 106 % goal id: 24 % nonlocals: STATE_VARIABLE_List_0_11, STATE_VARIABLE_List_12 % pre-births: STATE_VARIABLE_List_12 % determinism: det STATE_VARIABLE_List_12 = STATE_VARIABLE_List_0_11 % STATE_VARIABLE_List_12 := STATE_VARIABLE_List_0_11 % vars with new insts: STATE_VARIABLE_List_12 % Goal features: [feature_do_not_warn_singleton, feature_state_var_copy] ) % vars with new insts: Ob_5, STATE_VARIABLE_List_12 ) % vars with new insts: Ob_5, Kind_6, STATE_VARIABLE_List_12 % post-deaths: Ob_5, Kind_6, STATE_VARIABLE_List_0_11 Uncaught Mercury exception: Software Error: map.lookup: key not found Key Type: term.var(parse_tree.prog_data.prog_var_type) Key Value: var(14) Value Type: ll_backend.var_locn.var_state Stack dump follows: 0 pred exception.throw/1-0 (erroneous) (exception.m:312) 1 pred require.error/1-0 (erroneous) (require.m:173) 2 pred require.report_lookup_error/3-0 (erroneous) (require.m:277) 3 pred map.lookup/3-0 (det) (map.m:1463) 4 pred ll_backend.var_locn.var_locn_produce_var_in_reg_or_stack/5-0 (det) (var_locn.m:1659) 5 pred ll_backend.code_loc_dep.produce_variable_in_reg_or_stack/5-0 (det) (code_loc_dep.m:3196) 6 pred ll_backend.trace_gen.trace_produce_var/9-0 (det) (trace_gen.m:1312) 7 4* pred ll_backend.trace_gen.trace_produce_vars/11-0 (det) (trace_gen.m:1301 and others) 11 pred ll_backend.trace_gen.generate_event_code/13-0 (det) (trace_gen.m:1148) 12 pred ll_backend.trace_gen.maybe_generate_internal_event_code/7-0 (det) (trace_gen.m:912) 13 pred ll_backend.ite_gen.generate_ite/10-0 (det) (ite_gen.m:216) 14 pred ll_backend.code_gen.generate_goal_expr/9-0 (det) (code_gen.m:267) 15 pred ll_backend.code_gen.generate_goal/7-0 (det) (code_gen.m:136) 16 3* pred ll_backend.switch_gen.generate_if_then_else_chain_cases/15-0 (det) (switch_gen.m:622 and others) 19 pred ll_backend.switch_gen.order_and_generate_cases/13-0 (det) (switch_gen.m:406) 20 pred ll_backend.switch_gen.generate_int_switch/16-0 (det) (switch_gen.m:254) 21 pred ll_backend.switch_gen.generate_switch/10-0 (det) (switch_gen.m:164) 22 pred ll_backend.code_gen.generate_goal_expr/9-0 (det) (code_gen.m:271) 23 pred ll_backend.code_gen.generate_goal/7-0 (det) (code_gen.m:136) 24 pred ll_backend.proc_gen.generate_det_code/10-0 (det) (proc_gen.m:748) 25 pred ll_backend.proc_gen.generate_category_code/11-0 (det) (proc_gen.m:696) 26 pred ll_backend.proc_gen.generate_proc_code/10-0 (det) (proc_gen.m:428) 27 pred top_level.mercury_compile_llds_back_end.llds_backend_pass_for_proc/14-0 (det) (mercury_compile_llds_back_end.m:469) 28 pred top_level.mercury_compile_llds_back_end.llds_backend_pass_for_pred/13-0 (det) (mercury_compile_llds_back_end.m:373) 29 pred top_level.mercury_compile_llds_back_end.llds_backend_pass_by_preds_do_one_pred/14-0 (det) (mercury_compile_llds_back_end.m:338) 30 pred top_level.mercury_compile_llds_back_end.llds_backend_pass_by_preds_loop_over_preds/13-0 (det) (mercury_compile_llds_back_end.m:281) 31 pred top_level.mercury_compile_llds_back_end.llds_backend_pass_by_preds/8-0 (det) (mercury_compile_llds_back_end.m:260) 32 pred top_level.mercury_compile_llds_back_end.hlds_to_llds/10-0 (det) (mercury_compile_llds_back_end.m:170) 33 pred top_level.mercury_compile_augment.choose_and_execute_backend_passes/15-0 (det) (mercury_compile_augment.m:514) 34 pred top_level.mercury_compile_augment.after_front_end_passes/14-0 (det) (mercury_compile_augment.m:412) 35 pred top_level.mercury_compile_augment.process_augmented_module/16-0 (det) (mercury_compile_augment.m:283) 36 pred top_level.mercury_compile_augment.augment_and_process_module/14-0 (det) (mercury_compile_augment.m:209) 37 pred list.map_foldl3/9-0 (det) (list.m:4575) 38 pred top_level.mercury_compile_augment.augment_and_process_all_submodules/15-0 (det) (mercury_compile_augment.m:158) 39 pred top_level.mercury_compile_augment.augment_and_process_source_file/17-0 (det) (mercury_compile_augment.m:136) 40 pred top_level.mercury_compile_main.read_augment_and_process_module/15-0 (det) (mercury_compile_main.m:1162) 41 pred top_level.mercury_compile_main.do_process_compiler_arg/13-0 (det) (mercury_compile_main.m:800) 42 pred top_level.mercury_compile_main.setup_and_process_compiler_arg/13-0 (det) (mercury_compile_main.m:676) 43 pred top_level.mercury_compile_main.setup_and_process_compiler_cmd_line_args/15-0 (det) (mercury_compile_main.m:588) 44 pred top_level.mercury_compile_main.do_op_mode_args/13-0 (det) (mercury_compile_main.m:423) 45 pred top_level.mercury_compile_main.do_op_mode/11-0 (det) (mercury_compile_main.m:248) 46 pred top_level.mercury_compile_main.main_after_setup/6-0 (det) (mercury_compile_main.m:203) 47 pred top_level.mercury_compile_main.real_main/2-0 (det) (mercury_compile_main.m:124) 48 pred mercury_compile.main/2-0 (det) (mercury_compile.m:32)