WyCS: fixed bug in quantification binding for #382.
WyRL: simple fix for StrategyRewriter.  #382