let compute_const_ii operator n1 n2 =
    CTTexpConstant (CTTconstInteger ((get_operator_i operator) n1 n2))