Including rule for is_function(Args@@) transformations in boolean operators