%foo_4 = icmp sgt i32 %foo_0, %foo_1 
path-eq %foo_4 = bitcast i1 0 to i1 
%foo_6 = icmp sgt i32 %foo_0, 55 
