%foo_16 = load  i32, i32* %foo_5, align 4 
%foo_17 = load  i32, i32* %foo_7, align 4 
%foo_18 = sub  nsw i32 %foo_16, %foo_17 
store  i32 %foo_18, i32* %foo_4, align 4 
%foo_20 = load  i32, i32* %foo_4, align 4 
track-ops LocalReference (IntegerType {typeBits = 32}) (Name "foo_20")
%multipleCrossModuleCaller_27 = bitcast i32 %foo_20 to i32 
%multipleCrossModuleCaller_28 = icmp sgt i32 %multipleCrossModuleCaller_27, 13 
track-ops LocalReference (IntegerType {typeBits = 1}) (Name "multipleCrossModuleCaller_28")
