def compile_operator_flip(node, state): return IR.negate(state.codegen(node.value))
def convert_none(node, state): return IR.negate(IR.exists(state.compute_path()))
def compile_operator_flip(node, state): return IR.negate(state.codegen(node.value))
def convert_none(node, state): return IR.negate(IR.exists(state.compute_path()))