WyRL: updated logic example to use StrategyRewriter; currently it doesn't work though. #382