rewrite '(bool 1000)'
(call (if_op (quote 1000) (function_op (quote 1)) (function_op (quote ()))) (args))
