let get_operator_fc n1 n2 = function
    CTTbinLessThan -> if n1 < n2 then unit_big_int else zero_big_int
  | CTTbinLessEqual -> if n1 <= n2 then unit_big_int else zero_big_int 
  | CTTbinGtrThan -> if n1 > n2 then unit_big_int else zero_big_int 
  | CTTbinGtrEqual -> if n1 >= n2 then unit_big_int else zero_big_int 
  | CTTbinEqual -> if n1 = n2 then unit_big_int else zero_big_int 
  | CTTbinNotEqual -> if not (n1 = n2) then unit_big_int else zero_big_int
  | _ -> assert false