Rule binders shouldn't have DFun pragmas