Fixed issue #33 (rewrite-abstract/rewrite-refine fail when refinement/abstraction affect terminals): Fixed rewrite-abstract.
Fixed issue #33 (rewrite-abstract/rewrite-refine fail when refinement/abstraction affect terminals): Fixed rewrite-abstract.

2bt/racr,otherwiseopen/racr,christoff-buerger/racr,2bt/racr,otherwiseopen/racr,otherwiseopen/racr,otherwiseopen/racr,christoff-buerger/racr,otherwiseopen/racr,2bt/racr,2bt/racr,christoff-buerger/racr,2bt/racr,2bt/racr,otherwiseopen/racr