pointersRefs_noalias.hors
%BEGING
Main_12 -> Zero (Zero (br (F_145 True ) (F_145 False ) ) ) .
Bottom0 -> Bottom0 .
F_145 b_141 -> b_141 (l0 (br (F_146 True ) (F_146 False ) ) ) (l1 (Fail_61 unit ) ) .
F_146 b_143 -> b_143 (l0 unit ) (l1 (Fail_64 unit ) ) .
Fail_61 k_63 -> event_fail k_63 .
Fail_64 k_66 -> event_fail k_66 .
Zero k_zero -> k_zero .
True x y -> x .
False x y -> y .
%ENDG
%BEGINA
q0 br -> q0 q0 .
q0 l0 -> q0 .
q0 l1 -> q0 .
q0 unit -> .
%ENDA