I've been searching without success for a program that transforms method bodies from CIL into 3-address form .
Actually, the algorithm I've found in a paper by Bellamy et al. , but not an implementation for CIL.
BTW, I also haven't found any decompiler with an open-source license. Do you know any?.
In any case, obtaining a 3-address form seems more flexible, as it does not commit to a particular syntax for the target high-level language.
 three-address form,