Branching support in CIL
* Simple arithmetic transcription added