let print_binary_operator = function
ILbinTimes -> "*" | ILbinDiv -> "/" | ILbinModulo -> "%"
| ILbinPlusVV -> "+.vv" | ILbinMinusVV -> "-.vv"
| ILbinPlusPV -> "+.pv" | ILbinMinusPP -> "-.pp" | ILbinMinusPV -> "-.pv"
| ILbinLshift -> "<<" | ILbinRshift -> ">>"
| ILbinLogAnd -> "&&" | ILbinLogOr -> "||"
| ILbinIntAnd -> "&" | ILbinIntOr -> "|" | ILbinIntXor -> "^"
| ILbinLessThan -> "<" | ILbinLessEqual -> "<=" | ILbinGtrThan -> ">" | ILbinGtrEqual -> ">="
| ILbinEqual -> "==" | ILbinNotEqual -> "!="