Fixed bug in the reinterpretation of wands. If package-time old-expressions ('now') were under conditionals, e.g., "b ==> now(e)", the re-interpretation was errorneously done with "b && now(e)".
Fixed bug in the reinterpretation of wands. If package-time old-expressions ('now') were under conditionals, e.g., "b ==> now(e)", the re-interpretation was errorneously done with "b && now(e)".

sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors