let conditionalConversion = Cabs2cil.logicConditionalConversion