def cmp1(x): if x < 3: reachable if x == 0: reachable def cmp2(x): if x == 0: reachable if x < 3: reachable def cmp3(x): if x < 3: reachable if x >= 3: reachable def cmp4(x): if x < 3: reachable if x > 3: reachable def cmp5(x): if x != 3: reachable elif x > 3: unreachable def cmp6(x): if x < 3: reachable elif x < 3: unreachable def cmp7(x): if x < 3: reachable elif x < 2: unreachable def cmp8(x): if x < 3: reachable elif x == 3: reachable def cmp9(x): if x < 3: reachable elif x == 2: unreachable def cmp11(x): if x > 3: reachable if x == 0: reachable def cmp12(x): if x == 0: reachable if x > 3: reachable def cmp13(x): if x > 3: reachable if x <= 3: reachable def cmp14(x): if x > 3: reachable if x < 3: reachable def cmp15(x): if x != 3: reachable elif x < 3: unreachable def cmp16(x): if x > 3: reachable elif x > 3: unreachable def cmp17(x): if x > 3: reachable elif x > 4: unreachable def cmp18(x): if x > 3: reachable elif x == 3: reachable def cmp19(x): if x > 3: reachable elif x == 4: unreachable