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