tst.complex.d.out   [plain text]

1
------
i <= 5
i >= 5 || j >= 5
i < 5
j != 10


2
------
i <= 5
i >= 5 || j >= 5
i < 5
i == 2 (or) j == 2
i == 2 (and) j == 2
j != 10
j == 5 || i == 2


3
------
i <= 5
i >= 5 || j >= 5
i < 5
j != 10


4
------
i <= 5
i >= 5 || j >= 5
i < 5
j != 10


5
------
i == 5 (or) i == 10
i <= 5
j >= 5
i >= 5 || j >= 5
j >= 5 && i <= 55
j != 10
j == 5 || i == 2


6
------
j >= 5
i >= 5 || j >= 5
j != 10


7
------
j >= 5
i >= 5 || j >= 5
j != 10


8
------
j >= 5
i >= 5 || j >= 5
j != 10


9
------
j >= 5
i >= 5 || j >= 5
j != 10


10
------
i == 5 (or) i == 10
j >= 5
i >= 5 || j >= 5
i == 10