== test_attv_disj_interrupt OK
== test_attv_disj_interrupt OK
== test_attv_interrupt OK
== test_cut1 SUCCEEDED
== test_cut2 SUCCEEDED
== test_deref OK
== test_implict_unify OK
== test_unify OK
== test_update 1 OK
== test_update 2 OK
Attribute = v(11)
Attribute = v(22)
disjunct_A
disjunct_B
PASSED attv_test!
Value = 2
Value = 5
Value = 7
Var's attribute = v(1)
Var's attribute = v(12)
Var's attribute = v(30)
