global objects inhibit fold functions

Bugzilla Link	306
Created on	Oct 12, 2006 10:59
Version	1.00beta
OS	SunOS
Architecture	PC

Extended Description

This bug is a conceptual problem but feels very much wrong...
if we introduce a print in a function used within a fold, the 
subsequent change in signature inhibits the use as fold and thus leads
to a strange error message: ...function not found.....
Since all overloadings of a function are treated uniformly, the 
offending print may even occur in a fold-irrelevant overloading only.
I am not sure how to handle this problem nicely:-(
I would assume that, in principle, this problem could be solved
in a rather complex modification of fold-wls using propagate or so.....