pub unsafe fn negate_clause(arg_node: *mut Node) -> *mut Node