more on pattern-conditions
implimented guard-lifting (and GUARD-OR) with transformers