[CIL users] Transformation of If conditions

[TheAnh Do <the...@gm...>]

Dear everyone,

In Cil, it automatically simplify If conditional expressions to have a
cascade of simple predicates. For example,
if (x > 10 && x < 100)
will be transformed to
if (x > 10)
    if (x < 100)

Could anyone please point me to the code of this functionality in the Cil
framework?
A bunch of thanks !

With Kind Regards
TheAnh Do